Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:debian/ |
1 Development | 2015-05-26 07:55:04 UTC |
9.
* New upstream release
* Update debia...
Author:
Stéphane Glondu
* New upstream release |
|
lp:debian/ |
1 Development | 2014-08-17 14:36:07 UTC |
9.
* New upstream release
* Update debia...
Author:
Stéphane Glondu
* New upstream release |
|
lp:debian/coq-doc | 1 Development | 2014-08-17 14:36:07 UTC |
9.
* New upstream release
* Update debia...
Author:
Stéphane Glondu
* New upstream release |
|
lp:debian/ |
1 Development | 2012-04-06 07:33:19 UTC |
7.
New upstream release
Author:
Stéphane Glondu
New upstream release |
|
lp:debian/ |
2 Mature | 2010-02-21 08:31:14 UTC |
3.
Removed tetex-bin from build-dependen...
Author:
Samuel Mimram
Removed tetex-bin from build-dependencies, and added texlive-base, |
|
lp:debian/ |
1 Development | 2010-02-21 08:26:04 UTC |
4.
[ Stéphane Glondu ]
* New upstream re...
Author:
Stéphane Glondu
[ Stéphane Glondu ] [ Samuel Mimram ] |
1 → 6 of 6 results | First • Previous • Next • Last |