aboutsummaryrefslogblamecommitdiff
path: root/math/alt-ergo/pkg-plist
blob: bf0cd1a27febfba2455ad5dc1540e8f814769d9a (plain) (tree) 
88ece46f9f6b

8abe8f1a56be






1

2
3
4
5
6
7

            





                              
bin/alt-ergo
lib/ocaml/alt-ergo/META
lib/ocaml/alt-ergo/altErgo.cmi
lib/ocaml/alt-ergo/altErgo.cmo
lib/ocaml/alt-ergo/altErgo.cmx
lib/ocaml/alt-ergo/altErgo.o
man/man1/alt-ergo.1.gz
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-24 14:37:52 +0000