Ubuntu
coq package

Branches for Edgy

Name Status Last Modified Last Commit
lp://staging/ubuntu/edgy/coq 1 Development 2009-07-30 19:55:46 UTC
4. Added coq-8.0pl3-ocaml-3.09.dpatch in...

Author: Samuel Mimram
Revision Date: 2006-02-19 11:33:21 UTC

Added coq-8.0pl3-ocaml-3.09.dpatch in order to prevent intuition from
looping forever, closes: #353493.
1 → 1 of 1 result First • Previous • Next • Last