math/alt-ergo/pkg-plist


1
2
3
4
5
6
7
8
9

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
	Commit message (Expand)	Author	Age	Files	Lines
*	- Pass maintainership to haskell@FreeBSD.org:	jacula	2010-05-26	1	-1/+1
*	Introduce a new (and hopefully better) ports infrastructure for Haskell Cabal	pgj	2010-05-13	2	-299/+222
*	Switch to use newer GMP version.	ale	2010-04-19	1	-1/+2