math/alt-ergo/pkg-plist

   1 bin/alt-ergo
   2 %%GUI%%bin/altgr-ergo
   3 lib/ocaml/alt-ergo/META
   4 lib/ocaml/alt-ergo/altErgo.cmi
   5 lib/ocaml/alt-ergo/altErgo.cmo
   6 lib/ocaml/alt-ergo/altErgo.cmx
   7 lib/ocaml/alt-ergo/altErgo.o
   8 man/man1/alt-ergo.1.gz
   9 share/gtksourceview-2.0/language-specs/alt-ergo.lang
  10 @dirrmtry share/gtksourceview-2.0/language-specs
  11 @dirrmtry share/gtksourceview-2.0
  12 @dirrm lib/ocaml/alt-ergo