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
Revision Date: 2015-09-14 23:17:07 UTC

* Port to Dose3 4.0.1 (Closes: #797451)
  - Add 0001-Port-to-Dose3-4.0.1.patch
  - Bump build-dependency on dose3 to >= 4.0.1-2~

lp:debian/stretch/opam 1 Development 2015-09-14 23:17:07 UTC
9. * Port to Dose3 4.0.1 (Closes: #79745...

Author: Mehdi
Revision Date: 2015-09-14 23:17:07 UTC

* Port to Dose3 4.0.1 (Closes: #797451)
  - Add 0001-Port-to-Dose3-4.0.1.patch
  - Bump build-dependency on dose3 to >= 4.0.1-2~

lp:debian/jessie/opam 1 Development 2014-11-03 22:29:08 UTC
6. * New upstream release. * Make opam r...

Author: Mehdi
Revision Date: 2014-11-03 22:29:08 UTC

* New upstream release.
* Make opam recommend aspcud (Addresses: #766985).

13 of 3 results