libexene-smlnj (110.79-8build1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- smlnj
- Architecture
- amd64v3
- Section
- universe/devel
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 3.7 kB
- Size expected
- 813.8 kB
- Size actual
- 813.8 kB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
Concurrent ML library for the X Window System
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 624ac93a…54046cce | |
| SHA-1 | 023e5932…3afd50cd | |
| SHA-256 | 57f3d0db…cac38c5f | |
| SHA-512 | 66511b39…b5fd82c0 |
Contents
Files and directories included
. usr usr/lib usr/lib/smlnj usr/lib/smlnj/lib usr/lib/smlnj/lib/eXene.cm usr/lib/smlnj/lib/eXene.cm/.cm usr/lib/smlnj/lib/eXene.cm/.cm/x86-unix usr/lib/smlnj/lib/eXene.cm/.cm/x86-unix/eXene.cm usr/share usr/share/doc usr/share/doc/libexene-smlnj usr/share/doc/libexene-smlnj/README usr/share/doc/libexene-smlnj/README-0.5.gz usr/share/doc/libexene-smlnj/README-1.0 usr/share/doc/libexene-smlnj/copyright usr/share/doc/libexene-smlnj/examples usr/share/doc/libexene-smlnj/examples/README usr/share/doc/libexene-smlnj/examples/add usr/share/doc/libexene-smlnj/examples/add/README usr/share/doc/libexene-smlnj/examples/add/add.sml usr/share/doc/libexene-smlnj/examples/add/answer.sml usr/share/doc/libexene-smlnj/examples/add/calc.sml usr/share/doc/libexene-smlnj/examples/add/images.sml usr/share/doc/libexene-smlnj/examples/add/load usr/share/doc/libexene-smlnj/examples/add/scene.sml usr/share/doc/libexene-smlnj/examples/add/sources.cm usr/share/doc/libexene-smlnj/examples/add/splash.sml usr/share/doc/libexene-smlnj/examples/basicwin usr/share/doc/libexene-smlnj/examples/basicwin/README usr/share/doc/libexene-smlnj/examples/basicwin/basicwin.sml usr/share/doc/libexene-smlnj/examples/basicwin/export.sml usr/share/doc/libexene-smlnj/examples/basicwin/icon-bitmap.sml usr/share/doc/libexene-smlnj/examples/basicwin/icon_bitmap usr/share/doc/libexene-smlnj/examples/basicwin/interp usr/share/doc/libexene-smlnj/examples/basicwin/load usr/share/doc/libexene-smlnj/examples/basicwin/sources.cm usr/share/doc/libexene-smlnj/examples/basicwin/test.sh usr/share/doc/libexene-smlnj/examples/bitmap usr/share/doc/libexene-smlnj/examples/bitmap/README usr/share/doc/libexene-smlnj/examples/bitmap/bitmap.sml usr/share/doc/libexene-smlnj/examples/bitmap/bitmapedit.sml usr/share/doc/libexene-smlnj/examples/bitmap/pixmap.sml usr/share/doc/libexene-smlnj/examples/bounce usr/share/doc/libexene-smlnj/examples/bounce/README usr/share/doc/libexene-smlnj/examples/bounce/ball.sml usr/share/doc/libexene-smlnj/examples/bounce/bdm.sml usr/share/doc/libexene-smlnj/examples/bounce/bounce-dm.sml usr/share/doc/libexene-smlnj/examples/bounce/bounce.sml usr/share/doc/libexene-smlnj/examples/bounce/buffer.sml usr/share/doc/libexene-smlnj/examples/bounce/heads.sml usr/share/doc/libexene-smlnj/examples/bounce/load usr/share/doc/libexene-smlnj/examples/bounce/menu.sml usr/share/doc/libexene-smlnj/examples/bounce/sources.cm usr/share/doc/libexene-smlnj/examples/bricks usr/share/doc/libexene-smlnj/examples/bricks/README usr/share/doc/libexene-smlnj/examples/bricks/badbricks.sml usr/share/doc/libexene-smlnj/examples/bricks/brick.sml usr/share/doc/libexene-smlnj/examples/bricks/brickview.sml usr/share/doc/libexene-smlnj/examples/bricks/export.sml usr/share/doc/libexene-smlnj/examples/bricks/load usr/share/doc/libexene-smlnj/examples/bricks/sources.cm usr/share/doc/libexene-smlnj/examples/bricks/util.sml usr/share/doc/libexene-smlnj/examples/bricks/wall.sml usr/share/doc/libexene-smlnj/examples/calc usr/share/doc/libexene-smlnj/examples/calc/README usr/share/doc/libexene-smlnj/examples/calc/acc.sml usr/share/doc/libexene-smlnj/examples/calc/calc.sml usr/share/doc/libexene-smlnj/examples/calc/load usr/share/doc/libexene-smlnj/examples/calc/main.sml usr/share/doc/libexene-smlnj/examples/calc/sources.cm usr/share/doc/libexene-smlnj/examples/explode usr/share/doc/libexene-smlnj/examples/explode/explode.sml usr/share/doc/libexene-smlnj/examples/mixer usr/share/doc/libexene-smlnj/examples/mixer/README usr/share/doc/libexene-smlnj/examples/mixer/color-state.sml usr/share/doc/libexene-smlnj/examples/mixer/load usr/share/doc/libexene-smlnj/examples/mixer/mixer.sml usr/share/doc/libexene-smlnj/examples/mixer/sources.cm usr/share/doc/libexene-smlnj/examples/mixer/spot.sml usr/share/doc/libexene-smlnj/examples/ml-viewer usr/share/doc/libexene-smlnj/examples/ml-viewer/data usr/share/doc/libexene-smlnj/examples/ml-viewer/data/nodes.dot usr/share/doc/libexene-smlnj/examples/ml-viewer/data/raw-nodes.dot usr/share/doc/libexene-smlnj/examples/ml-viewer/data/raw-nodes.dot.sav usr/share/doc/libexene-smlnj/examples/ml-viewer/data/s.dot usr/share/doc/libexene-smlnj/examples/ml-viewer/data/simple.dot usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/absyn.sig usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/absyn.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/base.sig usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/core.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/coreutils.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/export.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/grammar.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/graph.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/hdr.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/join.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/lalr.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/link.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/load.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/look.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/lrtable.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/mklrtable.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/mkprstruct.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/parse.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/parser1.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/parser2.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/shrink.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/sigs.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/stream.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/utils.sig usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/utils.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/verbose.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/yacc-grm.sig usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/yacc-grm.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/yacc-lex.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/data/src/yacc.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/delta usr/share/doc/libexene-smlnj/examples/ml-viewer/graph usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/agraph-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/agraph.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/attr-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/attr.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph.l usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph.l.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph.y usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph.y.desc usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph.y.sig usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graph.y.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graphio-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/graphio.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/load usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/mlyacc-base.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/modgraph-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/modgraph.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/mrs usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/sources.sc usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/tokens.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph/tst.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/load usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/rgeometry.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/save usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/save/vattr.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/save/vgraphaux.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/save/viewer.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/vattr.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/vgraph-sig.sml.sav usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/vgraph.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/vgraphaux.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/view.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/viewer.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/viewer.sml.sav usr/share/doc/libexene-smlnj/examples/ml-viewer/graph-view/viewfont.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/graphs usr/share/doc/libexene-smlnj/examples/ml-viewer/library usr/share/doc/libexene-smlnj/examples/ml-viewer/library/array-qsort.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/array-sort-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/array2-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/array2.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/binary-dict.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/binary-set.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/charset-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/charset.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/ctype-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/ctype.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/dict-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/dynamic-array-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/dynamic-array.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/fifo-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/fifo.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/finalize-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/finalizer.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/format-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/format.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/hash-key-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/hash-string.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/hash-table-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/hash-table.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/intmap-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/intmap.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/intset-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/intset.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/iterate-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/iterate.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/lib-base-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/lib-base.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/lib-sg.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/list-format-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/list-format.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/list-mergesort.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/list-util-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/list-util.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/listsort-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/makestring-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/makestring.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/name-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/name.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/ord-key-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/ord-set-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/pathname-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/pathname.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/poly-hash-table-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/poly-hash-table.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/queue-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/queue.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/random-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/random.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/splay-dict.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/splay-set.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/splaytree-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/splaytree.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/static-array-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/string-cvt-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/string-cvt.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/string-util-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/string-util.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/time-limit.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/unix-env-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/unix-env.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/unix-path-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/library/unix-path.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/list usr/share/doc/libexene-smlnj/examples/ml-viewer/main usr/share/doc/libexene-smlnj/examples/ml-viewer/main/load usr/share/doc/libexene-smlnj/examples/ml-viewer/main/loadall usr/share/doc/libexene-smlnj/examples/ml-viewer/main/main.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/README usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/TODO usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/keywords.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/lexer usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/lexer.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/load usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/load-file.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/load-test usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/ml-viewer.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/scroll-viewer.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/test.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/text-canvas-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/text-canvas.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/text-display-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/text-display.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/text-pool-sig.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/view-buffer.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/text-view/viewer.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/util usr/share/doc/libexene-smlnj/examples/ml-viewer/util/get.sml usr/share/doc/libexene-smlnj/examples/ml-viewer/util/load usr/share/doc/libexene-smlnj/examples/ml-viewer/util/mlyacc-base.sml usr/share/doc/libexene-smlnj/examples/nbody usr/share/doc/libexene-smlnj/examples/nbody/README usr/share/doc/libexene-smlnj/examples/nbody/display.sml usr/share/doc/libexene-smlnj/examples/nbody/main.sml usr/share/doc/libexene-smlnj/examples/nbody/simul.sig usr/share/doc/libexene-smlnj/examples/nbody/simul.sml usr/share/doc/libexene-smlnj/examples/nbody/sources.cm usr/share/doc/libexene-smlnj/examples/plaid usr/share/doc/libexene-smlnj/examples/plaid/plaid.sml usr/share/doc/libexene-smlnj/examples/plaid/sources.cm usr/share/doc/libexene-smlnj/examples/tactic-tree usr/share/doc/libexene-smlnj/examples/tactic-tree/HOW-TO-DEMO usr/share/doc/libexene-smlnj/examples/tactic-tree/README usr/share/doc/libexene-smlnj/examples/tactic-tree/doc usr/share/doc/libexene-smlnj/examples/tactic-tree/doc/doc.ps usr/share/doc/libexene-smlnj/examples/tactic-tree/examples usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/README usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/expression.grm usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/expression.lex usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/interactive.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/load-deriv usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/parse-strings.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/rules.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/syntax.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/tactics.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/test.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/derivative/ttree-support.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/README usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/base.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/fol-pretty.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/fol.grm usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/fol.lex usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/load-fol usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/parse_strings.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/pretty.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/syntax.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/tactics.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/test_formulas.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/theorem.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/fol/ttree-support.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/hol usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/hol/README usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/hol/hol-support.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/examples/hol/make-interactive.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/src usr/share/doc/libexene-smlnj/examples/tactic-tree/src/README usr/share/doc/libexene-smlnj/examples/tactic-tree/src/interactive.sig usr/share/doc/libexene-smlnj/examples/tactic-tree/src/interactive.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/src/load usr/share/doc/libexene-smlnj/examples/tactic-tree/src/manager.sig usr/share/doc/libexene-smlnj/examples/tactic-tree/src/manager.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/src/support.sig usr/share/doc/libexene-smlnj/examples/tactic-tree/src/tree.sig usr/share/doc/libexene-smlnj/examples/tactic-tree/src/tree.sml usr/share/doc/libexene-smlnj/examples/tactic-tree/src/ttree.sig usr/share/doc/libexene-smlnj/examples/tactic-tree/src/ttree.sml usr/share/doc/libexene-smlnj/examples/triangle usr/share/doc/libexene-smlnj/examples/triangle/icon-bitmap.sml usr/share/doc/libexene-smlnj/examples/triangle/load usr/share/doc/libexene-smlnj/examples/triangle/sources.cm usr/share/doc/libexene-smlnj/examples/triangle/tri.out usr/share/doc/libexene-smlnj/examples/triangle/tri.out1 usr/share/doc/libexene-smlnj/examples/triangle/tri.sml usr/share/doc/libexene-smlnj/examples/widgets usr/share/doc/libexene-smlnj/examples/widgets/README usr/share/doc/libexene-smlnj/examples/widgets/font.sml usr/share/doc/libexene-smlnj/examples/widgets/label-slider.sml usr/share/doc/libexene-smlnj/examples/widgets/simple-with-menu.sml usr/share/doc/libexene-smlnj/examples/widgets/simple.sml usr/share/doc/libexene-smlnj/examples/widgets/sources.cm usr/share/doc/libexene-smlnj/examples/widgets/tstvtty.sml usr/share/doc/libexene-smlnj/changelog.Debian.gz