mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-24 00:45:52 +00:00
Code Issues Releases Activity
31bae9c2b3
freebsd-ports/math/coq
History
Pav Lucistnik 706b4dbbee - Update to 8.0pl3 
PR:		ports/93954
Submitted by:	Johan van Selst <johans@stack.nl>
2006-03-16 15:31:23 +00:00
..
distinfo - Update to 8.0pl3 2006-03-16 15:31:23 +00:00
Makefile - Update to 8.0pl3 2006-03-16 15:31:23 +00:00
pkg-descr
pkg-plist - Update to 8.0pl3 2006-03-16 15:31:23 +00:00