ports/math/coq/
Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [FreeBSD] / ports / math / coq
| File | Rev. | Age | Author | Last log entry | |
|---|---|---|---|---|---|
![[BACK]](/gifs/back.gif){kind=small} Parent Directory |
|||||
![[DIR]](/gifs/dir.gif){kind=small} files/ |
|||||
![[TXT]](/gifs/text.gif){kind=small} Makefile |
1.31 | 3 months | linimon | Mark as broken on powerpc: fails to link. Hat: portmgr Feature safe: yes | |
| distinfo |
1.13 | 9 months | johans | Update coq to 8.3.2 | |
| pkg-descr |
1.2 | 7 years | pav | - Add optional CoqIde support (depends on lablgtk2) - Correct PORTVERSION to mat... | |
| pkg-plist |
1.11 | 15 months | johans | - Update coq to 8.3 - Add a patch to fix threading issues Submitted by: AUGER C... | |
Download this directory in tarball