/security/amavisd/

ng' alt='cgit logo'/> index : freebsd-ports-gnome
FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
aboutsummaryrefslogtreecommitdiffstats
path: root/math/coq
Commit message (Expand)AuthorAgeFilesLines
* Update to 8.0p2vs2005-02-022-10/+5
* Fix packagingvs2005-01-192-8/+7
* - Unbreak on amd64sem2004-12-211-2/+1
* Mark broken on ia64 and amd64.tobez2004-11-291-0/+4
* - Add optional CoqIde support (depends on lablgtk2)pav2004-11-093-58/+69