sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-06-03 20:06:29 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
ports/math/coq
History
Johan van Selst d3ddbd67e0 - Update to version 8.2pl1 
- Bump EPOCH due to different versioning style
- Build and install documentation

PR:		ports/148034
Submitted by:	Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Feature safe:	yes
2010-06-25 06:53:04 +00:00
..
distinfo - Update to version 8.2pl1 2010-06-25 06:53:04 +00:00
Makefile - Update to version 8.2pl1 2010-06-25 06:53:04 +00:00
pkg-descr
pkg-plist Fix pkg-plist 2009-03-16 09:42:38 +00:00