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
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).