hol88-source (2.02.19940316dfsg-9)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://ports.ubuntu.com
- Codename
- stonking
- Component
- universe
- Source
- hol88
- Architecture
- riscv64
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 2 kB
- Size expected
- 297.5 kB
- Size actual
- 297.5 kB
- Size match
Dependencies
Required package dependencies
- None
Suggested packages
Recommended additional packages
- None
Description
Higher Order Logic, source files
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 8afda14e…d41040f6 | |
| SHA-1 | 04768a9a…45f5d2ff | |
| SHA-256 | c4ffcad8…9ea436eb | |
| SHA-512 | aaa4c0e0…3d1b9b87 |
Contents
Files and directories included
. usr usr/share usr/share/doc usr/share/doc/hol88-source usr/share/doc/hol88-source/changelog.Debian.gz usr/share/doc/hol88-source/copyright usr/share/hol88-2.02.19940316dfsg usr/share/hol88-2.02.19940316dfsg/lisp usr/share/hol88-2.02.19940316dfsg/lisp/akcl.l usr/share/hol88-2.02.19940316dfsg/lisp/banner.l usr/share/hol88-2.02.19940316dfsg/lisp/constp.l usr/share/hol88-2.02.19940316dfsg/lisp/f-cl.l usr/share/hol88-2.02.19940316dfsg/lisp/f-constants.l usr/share/hol88-2.02.19940316dfsg/lisp/f-dml.l usr/share/hol88-2.02.19940316dfsg/lisp/f-format.l usr/share/hol88-2.02.19940316dfsg/lisp/f-franz.l usr/share/hol88-2.02.19940316dfsg/lisp/f-freadth.l usr/share/hol88-2.02.19940316dfsg/lisp/f-gp.l usr/share/hol88-2.02.19940316dfsg/lisp/f-help.l usr/share/hol88-2.02.19940316dfsg/lisp/f-inst.l usr/share/hol88-2.02.19940316dfsg/lisp/f-iox-stand.l usr/share/hol88-2.02.19940316dfsg/lisp/f-lis.l usr/share/hol88-2.02.19940316dfsg/lisp/f-macro.l usr/share/hol88-2.02.19940316dfsg/lisp/f-mlprin.l usr/share/hol88-2.02.19940316dfsg/lisp/f-obj.l usr/share/hol88-2.02.19940316dfsg/lisp/f-ol-net.l usr/share/hol88-2.02.19940316dfsg/lisp/f-ol-rec.l usr/share/hol88-2.02.19940316dfsg/lisp/f-ol-syntax.l usr/share/hol88-2.02.19940316dfsg/lisp/f-parser.l usr/share/hol88-2.02.19940316dfsg/lisp/f-parsml.l usr/share/hol88-2.02.19940316dfsg/lisp/f-parsol.l usr/share/hol88-2.02.19940316dfsg/lisp/f-simpl.l usr/share/hol88-2.02.19940316dfsg/lisp/f-site.l usr/share/hol88-2.02.19940316dfsg/lisp/f-subst.l usr/share/hol88-2.02.19940316dfsg/lisp/f-system.l usr/share/hol88-2.02.19940316dfsg/lisp/f-thyfns.l usr/share/hol88-2.02.19940316dfsg/lisp/f-tml.l usr/share/hol88-2.02.19940316dfsg/lisp/f-tran.l usr/share/hol88-2.02.19940316dfsg/lisp/f-typeml.l usr/share/hol88-2.02.19940316dfsg/lisp/f-typeol.l usr/share/hol88-2.02.19940316dfsg/lisp/f-writml.l usr/share/hol88-2.02.19940316dfsg/lisp/f-writol.l usr/share/hol88-2.02.19940316dfsg/lisp/genfns.l usr/share/hol88-2.02.19940316dfsg/lisp/genmacs.l usr/share/hol88-2.02.19940316dfsg/lisp/gnt.l usr/share/hol88-2.02.19940316dfsg/lisp/hol-pars.l usr/share/hol88-2.02.19940316dfsg/lisp/hol-writ.l usr/share/hol88-2.02.19940316dfsg/lisp/mk-hol-lcf.l usr/share/hol88-2.02.19940316dfsg/lisp/mk-ml.l usr/share/hol88-2.02.19940316dfsg/lisp/mk_pp_thm.l usr/share/hol88-2.02.19940316dfsg/lisp/parse_as_binder.l usr/share/hol88-2.02.19940316dfsg/lisp/parslet.l usr/share/hol88-2.02.19940316dfsg/lisp/parslist.l usr/share/hol88-2.02.19940316dfsg/ml usr/share/hol88-2.02.19940316dfsg/ml/abs-rep.ml usr/share/hol88-2.02.19940316dfsg/ml/conv.ml usr/share/hol88-2.02.19940316dfsg/ml/drul.ml usr/share/hol88-2.02.19940316dfsg/ml/gen.ml usr/share/hol88-2.02.19940316dfsg/ml/genfns.ml usr/share/hol88-2.02.19940316dfsg/ml/goals.ml usr/share/hol88-2.02.19940316dfsg/ml/hol-drule.ml usr/share/hol88-2.02.19940316dfsg/ml/hol-in-out.ml usr/share/hol88-2.02.19940316dfsg/ml/hol-net.ml usr/share/hol88-2.02.19940316dfsg/ml/hol-rule.ml usr/share/hol88-2.02.19940316dfsg/ml/hol-syn.ml usr/share/hol88-2.02.19940316dfsg/ml/hol-thyfn.ml usr/share/hol88-2.02.19940316dfsg/ml/ind.ml usr/share/hol88-2.02.19940316dfsg/ml/killpp.ml usr/share/hol88-2.02.19940316dfsg/ml/lcf-net.ml usr/share/hol88-2.02.19940316dfsg/ml/lib_loader.ml usr/share/hol88-2.02.19940316dfsg/ml/lis.ml usr/share/hol88-2.02.19940316dfsg/ml/list.ml usr/share/hol88-2.02.19940316dfsg/ml/load_thms.ml usr/share/hol88-2.02.19940316dfsg/ml/ml-curry.ml usr/share/hol88-2.02.19940316dfsg/ml/new-tactics.ml usr/share/hol88-2.02.19940316dfsg/ml/num.ml usr/share/hol88-2.02.19940316dfsg/ml/numconv.ml usr/share/hol88-2.02.19940316dfsg/ml/prim_rec.ml usr/share/hol88-2.02.19940316dfsg/ml/resolve.ml usr/share/hol88-2.02.19940316dfsg/ml/rewrite.ml usr/share/hol88-2.02.19940316dfsg/ml/site.ml usr/share/hol88-2.02.19940316dfsg/ml/stack.ml usr/share/hol88-2.02.19940316dfsg/ml/tacont.ml usr/share/hol88-2.02.19940316dfsg/ml/tacticals.ml usr/share/hol88-2.02.19940316dfsg/ml/tactics.ml usr/share/hol88-2.02.19940316dfsg/ml/tydefs.ml usr/share/hol88-2.02.19940316dfsg/ml/tyfns.ml usr/share/hol88-2.02.19940316dfsg/theories usr/share/hol88-2.02.19940316dfsg/theories/BASIC-HOL.th usr/share/hol88-2.02.19940316dfsg/theories/HOL.th usr/share/hol88-2.02.19940316dfsg/theories/PPLAMB.th usr/share/hol88-2.02.19940316dfsg/theories/arithmetic.th usr/share/hol88-2.02.19940316dfsg/theories/bool.th usr/share/hol88-2.02.19940316dfsg/theories/combin.th usr/share/hol88-2.02.19940316dfsg/theories/fun.th usr/share/hol88-2.02.19940316dfsg/theories/ind.th usr/share/hol88-2.02.19940316dfsg/theories/list.th usr/share/hol88-2.02.19940316dfsg/theories/ltree.th usr/share/hol88-2.02.19940316dfsg/theories/mk_BASIC-HOL.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_PPLAMB.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_arith.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_arith_thms.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_bool.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_combin.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_fun.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_ind.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_list.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_list_defs.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_list_thm2.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_list_thms.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_ltree.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_num.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_one.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_pair.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_prim_rec.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_sum.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_tree.ml usr/share/hol88-2.02.19940316dfsg/theories/mk_tydefs.ml usr/share/hol88-2.02.19940316dfsg/theories/num.th usr/share/hol88-2.02.19940316dfsg/theories/one.th usr/share/hol88-2.02.19940316dfsg/theories/prim_rec.th usr/share/hol88-2.02.19940316dfsg/theories/sum.th usr/share/hol88-2.02.19940316dfsg/theories/tree.th usr/share/hol88-2.02.19940316dfsg/theories/tydefs.th