1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-20 04:02:27 +00:00
freebsd-ports/math/alt-ergo/pkg-plist
2014-11-13 23:24:00 +00:00

10 lines
257 B
Plaintext

bin/alt-ergo
%%GUI%%bin/altgr-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
share/gtksourceview-2.0/language-specs/alt-ergo.lang