Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:debian/coq | 1 Development | 2015-10-13 17:26:06 UTC |
24.
Fix compilation with OCaml 4.02
Author:
Stéphane Glondu
Fix compilation with OCaml 4.02 |
|
lp:debian/ |
1 Development | 2015-07-20 09:51:21 UTC |
30.
* Enable native compiler only on amd6...
Author:
gares
* Enable native compiler only on amd64 and i386 |
|
lp:debian/ |
1 Development | 2015-05-27 11:10:28 UTC |
22.
* New upstream release (Closes: #7559...
Author:
Stéphane Glondu
* New upstream release (Closes: #755953) |
|
lp:debian/ |
1 Development | 2014-07-27 15:25:03 UTC |
22.
* New upstream release (Closes: #7559...
Author:
Stéphane Glondu
* New upstream release (Closes: #755953) |
|
lp:debian/ |
1 Development | 2012-06-06 07:35:26 UTC |
18.
Recompile with camlp5 6.06 (no changes)
Author:
Stéphane Glondu
Recompile with camlp5 6.06 (no changes) |
|
lp:debian/ |
1 Development | 2010-07-02 15:25:15 UTC |
11.
* New upstream release
- compiles w...
Author:
Stéphane Glondu
* New upstream release |
|
lp:debian/lenny/coq | 2 Mature | 2009-07-30 19:49:16 UTC |
5.
[ Stefano Zacchiroli ]
* fix vcs-svn ...
Author:
Samuel Mimram
[ Stefano Zacchiroli ] [ Samuel Mimram ] |
1 → 7 of 7 results | First • Previous • Next • Last |