Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:debian/opam | 1 Development | 2015-09-14 23:17:07 UTC |
9.
* Port to Dose3 4.0.1 (Closes: #79745...
Author:
Mehdi
* Port to Dose3 4.0.1 (Closes: #797451) |
|
lp:debian/ |
1 Development | 2015-09-14 23:17:07 UTC |
9.
* Port to Dose3 4.0.1 (Closes: #79745...
Author:
Mehdi
* Port to Dose3 4.0.1 (Closes: #797451) |
|
lp:debian/ |
1 Development | 2014-11-03 22:29:08 UTC |
6.
* New upstream release.
* Make opam r...
Author:
Mehdi
* New upstream release. |
1 → 3 of 3 results | First • Previous • Next • Last |