Mark Linimon f392d0db72 Mark as broken on powerpc: fails to link. ... Hat: portmgr Feature safe: yes		2011-11-11 02:53:39 +00:00
..
files	- Update coq to 8.3pl1	2011-02-12 12:30:08 +00:00
distinfo	Update coq to 8.3.2	2011-04-25 17:48:54 +00:00
Makefile	Mark as broken on powerpc: fails to link.	2011-11-11 02:53:39 +00:00
pkg-descr
pkg-plist