summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAge
* dev-ml/menhir: bump to 20150914.Alexis Ballier2015-09-16
* Add remote-idJustin Lecher2015-09-16
* dev-ml/dose3: fix build with latest extlib.Alexis Ballier2015-09-14
* dev-ml/extlib: bump to 1.7.0 and switch to github.Alexis Ballier2015-09-14
* dev-ml/ocaml-sqlite3: bump to 4.0.0.Alexis Ballier2015-09-14
* dev-ml/ocamlmod: bump to 0.0.8.Alexis Ballier2015-09-14
* dev-ml/yojson: bump to 1.2.3.Alexis Ballier2015-09-14
* dev-ml/cppo: bump to 1.3.0.Alexis Ballier2015-09-14
* dev-ml/core_kernel: add missing dep on dev-ml/custom_printf. Bug #559196.Alexis Ballier2015-09-04
* dev-ml/core_kernel: remove oldAlexis Ballier2015-09-04
* dev-ml/camlidl: x86 stable wrt bug #529038Mikle Kolyada2015-08-26
* dev-ml/cairo-ocaml: x86 stable wrt bug #529038Mikle Kolyada2015-08-26
* dev-ml/pcre-ocaml: bump to 7.1.6.Alexis Ballier2015-08-26
* dev-ml/menhir: remove old.Alexis Ballier2015-08-25
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-24
* Convert URIs for googlecode.com to httpsJustin Lecher2015-08-24
* Use https for kernel.org and redhat.comJustin Lecher2015-08-24
* Enable https for all google URIsJustin Lecher2015-08-24
* Use https by defaultJustin Lecher2015-08-24
* Use https by defaultJustin Lecher2015-08-24
* Use https by defaultJustin Lecher2015-08-24
* Use https by defaultJustin Lecher2015-08-24
* dev-ml/cairo-ocaml: amd64 stable wrt bug #529038Mikle Kolyada2015-08-17
* dev-ml/camlidl: amd64 stable wrt bug #529038Mikle Kolyada2015-08-17
* proj/gentoo: Initial commitRobin H. Johnson2015-08-08
generated by cgit v1.2.1 (git 2.18.0) at 2025-01-02 17:09:04 +0000