Cross Reference: /sssd/
xref: /sssd/
Name Date Size

.. 2016-12-01 13:56:40 42

.gitignore 2014-09-02 10:43:21 1.3 KiB

.travis.yml 1970-01-01 01:00:00 0

_parameters 1970-01-01 01:00:00 0

Adl 1970-01-01 01:00:00 0

ATC 1970-01-01 01:00:00 0

ATC.hs 1970-01-01 01:00:00 0

atermlib 1970-01-01 01:00:00 0

CASL 1970-01-01 01:00:00 0

CASL.hs 1970-01-01 01:00:00 0

CASL_DL 1970-01-01 01:00:00 0

CASL_DL.hs 1970-01-01 01:00:00 0

CMDL 1970-01-01 01:00:00 0

CMDL.hs 1970-01-01 01:00:00 0

CoCASL 1970-01-01 01:00:00 0

CoCASL.hs 1970-01-01 01:00:00 0

COL 1970-01-01 01:00:00 0

COL.hs 1970-01-01 01:00:00 0

Common 1970-01-01 01:00:00 0

Common.hs 1970-01-01 01:00:00 0

CommonLogic 1970-01-01 01:00:00 0

Comorphisms 1970-01-01 01:00:00 0

Comorphisms.hs 1970-01-01 01:00:00 0

ConstraintCASL 1970-01-01 01:00:00 0

CSL 1970-01-01 01:00:00 0

CSMOF 1970-01-01 01:00:00 0

CspCASL 1970-01-01 01:00:00 0

CspCASL.hs 1970-01-01 01:00:00 0

CspCASLProver 1970-01-01 01:00:00 0

CspCASLProver.hs 1970-01-01 01:00:00 0

debian 1970-01-01 01:00:00 0

DFOL 1970-01-01 01:00:00 0

DMU 1970-01-01 01:00:00 0

doc 1970-01-01 01:00:00 0

Driver 1970-01-01 01:00:00 0

Driver.hs 1970-01-01 01:00:00 0

ExtModal 1970-01-01 01:00:00 0

ExtModal.hs 1970-01-01 01:00:00 0

Fpl 1970-01-01 01:00:00 0

Framework 1970-01-01 01:00:00 0

Framework.hs 1970-01-01 01:00:00 0

FreeCAD 1970-01-01 01:00:00 0

GMP 1970-01-01 01:00:00 0

GUI 1970-01-01 01:00:00 0

GUI.hs 1970-01-01 01:00:00 0

HasCASL 1970-01-01 01:00:00 0

HasCASL.hs 1970-01-01 01:00:00 0

Haskell 1970-01-01 01:00:00 0

Haskell.hs 1970-01-01 01:00:00 0

Hets-Haddock-Prologue.txt 1970-01-01 01:00:00 0

Hets.cabal 1970-01-01 01:00:00 0

hets.hs 1970-01-01 01:00:00 0

HolLight 1970-01-01 01:00:00 0

Hybrid 1970-01-01 01:00:00 0

Hybrid.hs 1970-01-01 01:00:00 0

ideas 1970-01-01 01:00:00 0

Interfaces 1970-01-01 01:00:00 0

Isabelle 1970-01-01 01:00:00 0

Isabelle.hs 1970-01-01 01:00:00 0

LF 1970-01-01 01:00:00 0

LICENSE.txt 1970-01-01 01:00:00 0

LIZENZ.txt 1970-01-01 01:00:00 0

Logic 1970-01-01 01:00:00 0

Logic.hs 1970-01-01 01:00:00 0

magic 1970-01-01 01:00:00 0

Makefile 2009-05-19 17:09:45 0

Maude 1970-01-01 01:00:00 0

mini 1970-01-01 01:00:00 0

MMT 1970-01-01 01:00:00 0

MMT.hs 1970-01-01 01:00:00 0

Modal 1970-01-01 01:00:00 0

Modal.hs 1970-01-01 01:00:00 0

Modifications 1970-01-01 01:00:00 0

OMDoc 1970-01-01 01:00:00 0

OMDoc.hs 1970-01-01 01:00:00 0

Omega 1970-01-01 01:00:00 0

OWL2 1970-01-01 01:00:00 0

OWL2.hs 1970-01-01 01:00:00 0

Persistence 1970-01-01 01:00:00 0

PGIP 1970-01-01 01:00:00 0

PLpatt 1970-01-01 01:00:00 0

pretty 1970-01-01 01:00:00 0

Proofs 1970-01-01 01:00:00 0

Proofs.hs 1970-01-01 01:00:00 0

Propositional 1970-01-01 01:00:00 0

Propositional.hs 1970-01-01 01:00:00 0

QBF 1970-01-01 01:00:00 0

QVTR 1970-01-01 01:00:00 0

RDF 1970-01-01 01:00:00 0

README 2015-09-03 09:42:58 1.3 KiB

README.md 1970-01-01 01:00:00 0

RelationalScheme 1970-01-01 01:00:00 0

RelationalScheme.hs 1970-01-01 01:00:00 0

sample-ghci-script 1970-01-01 01:00:00 0

Scratch.hs 1970-01-01 01:00:00 0

SoftFOL 1970-01-01 01:00:00 0

SoftFOL.hs 1970-01-01 01:00:00 0

stack.yaml 1970-01-01 01:00:00 0

Static 1970-01-01 01:00:00 0

Static.hs 1970-01-01 01:00:00 0

Syntax 1970-01-01 01:00:00 0

Syntax.hs 1970-01-01 01:00:00 0

Taxonomy 1970-01-01 01:00:00 0

Taxonomy.hs 1970-01-01 01:00:00 0

Temporal 1970-01-01 01:00:00 0

test 1970-01-01 01:00:00 0

THF 1970-01-01 01:00:00 0

todo 1970-01-01 01:00:00 0

ToHaskell 1970-01-01 01:00:00 0

TopHybrid 1970-01-01 01:00:00 0

TopHybrid.hs 1970-01-01 01:00:00 0

TPTP 1970-01-01 01:00:00 0

utils 1970-01-01 01:00:00 0

var.mk 1970-01-01 01:00:00 0

VSE 1970-01-01 01:00:00 0

README

This is a package root directory $PACKAGEROOT. Source and binary
packages in this directory tree are controlled by the command
bin/package
Binary files may be in this directory or in the install root directory
INSTALLROOT=$PACKAGEROOT/arch/`bin/package`
For more information run
bin/package help
Many of the packaged commands self-document via the --man and --html
options; those that do have no separate man page.
Each package is covered by one of the license files
lib/package/LICENSES/<license>
where <license> is the license type for the package. At the top
of each license file is a URL; the license covers all software that
refers to this URL. For details run
bin/package license [<package>]
Any archives, distributions or packages made from source or
binaries covered by license(s) must contain the corresponding
license file(s).