summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
...
* dev-ml/yojson: bump to 1.2.3.Alexis Ballier2015-09-142-0/+39
* dev-ml/cppo: bump to 1.3.0.Alexis Ballier2015-09-142-0/+32
* dev-ml/core_kernel: add missing dep on dev-ml/custom_printf. Bug #559196.Alexis Ballier2015-09-041-0/+1
* dev-ml/core_kernel: remove oldAlexis Ballier2015-09-044-132/+0
* dev-ml/camlidl: x86 stable wrt bug #529038Mikle Kolyada2015-08-261-1/+1
* dev-ml/cairo-ocaml: x86 stable wrt bug #529038Mikle Kolyada2015-08-261-1/+1
* dev-ml/pcre-ocaml: bump to 7.1.6.Alexis Ballier2015-08-262-0/+32
* dev-ml/menhir: remove old.Alexis Ballier2015-08-253-74/+0
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-24126-126/+126
* Convert URIs for googlecode.com to httpsJustin Lecher2015-08-242-2/+2
* Use https for kernel.org and redhat.comJustin Lecher2015-08-241-1/+1
* Enable https for all google URIsJustin Lecher2015-08-242-2/+2
* Use https by defaultJustin Lecher2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-24144-144/+144
* Use https by defaultJustin Lecher2015-08-2431-40/+40
* Use https by defaultJustin Lecher2015-08-2415-24/+24
* dev-ml/cairo-ocaml: amd64 stable wrt bug #529038Mikle Kolyada2015-08-171-1/+1
* dev-ml/camlidl: amd64 stable wrt bug #529038Mikle Kolyada2015-08-171-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-08544-0/+11836