mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-25 00:51:21 +00:00
Code Issues Releases Activity
d1aef42add
freebsd-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