summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
...
* dev-ml/bignum: initial import, ebuild by me.Alexis Ballier2015-09-193-0/+35
* dev-ml/zarith: initial import, bug #388903Alexis Ballier2015-09-193-0/+55
* dev-ml/comparelib: bump to 113.00.00Alexis Ballier2015-09-192-0/+23
* dev-ml/pipebang: bump to 113.00.00Alexis Ballier2015-09-192-0/+21
* dev-ml/pipebang: remove old.Alexis Ballier2015-09-193-42/+0
* dev-ml/core_profiler: bump to 113.00.00Alexis Ballier2015-09-192-0/+34
* dev-ml/core_bench: remove old.Alexis Ballier2015-09-192-30/+0
* dev-ml/core_extended: bump to 113.00.00Alexis Ballier2015-09-192-0/+38
* dev-ml/core_extended: remove old.Alexis Ballier2015-09-193-76/+0
* dev-ml/re2: bump to 113.00.00Alexis Ballier2015-09-192-0/+33
* dev-ml/core: bump to 113.00.00Alexis Ballier2015-09-192-0/+42
* dev-ml/core: remove old.Alexis Ballier2015-09-195-165/+0
* dev-ml/core_kernel: bump to 113.00.00Alexis Ballier2015-09-192-0/+44
* dev-ml/custom_printf: bump to 113.00.00Alexis Ballier2015-09-192-0/+25
* dev-ml/custom_printf: remove old.Alexis Ballier2015-09-192-25/+0
* dev-ml/incremental: bump to 113.00.00Alexis Ballier2015-09-192-0/+29
* dev-ml/fieldslib: bump to 113.00.00Alexis Ballier2015-09-192-0/+27
* dev-ml/fieldslib: remove old.Alexis Ballier2015-09-193-54/+0
* dev-ml/bin-prot: bump to 113.00.00Alexis Ballier2015-09-192-0/+29
* dev-ml/bin-prot: remove old.Alexis Ballier2015-09-193-58/+0
* dev-ml/comparelib: remove oldAlexis Ballier2015-09-192-23/+0
* dev-ml/re2: remove old.Alexis Ballier2015-09-195-128/+0
* dev-ml/pa_structural_sexp: bump to 113.00.00Alexis Ballier2015-09-192-0/+24
* dev-ml/pa_ounit: bump to 113.00.00Alexis Ballier2015-09-192-0/+23
* dev-ml/pa_ounit: remove old.Alexis Ballier2015-09-193-46/+0
* dev-ml/sexplib: bump to 113.00.00Alexis Ballier2015-09-192-0/+26
* dev-ml/type-conv: bump to 113.00.00Alexis Ballier2015-09-192-0/+29
* dev-ml/type-conv: remove oldAlexis Ballier2015-09-193-58/+0
* dev-ml/sexplib: remove old.Alexis Ballier2015-09-193-52/+0
* dev-ml/typerep_extended: bump to 113.00.00Alexis Ballier2015-09-192-0/+30
* dev-ml/typerep: bump to 113.00.00Alexis Ballier2015-09-192-0/+26
* dev-ml/typerep: remove old.Alexis Ballier2015-09-193-53/+0
* dev-ml/menhir: bump to 20150914.Alexis Ballier2015-09-162-0/+37
* Add remote-idJustin Lecher2015-09-162-1/+5
* dev-ml/dose3: fix build with latest extlib.Alexis Ballier2015-09-142-0/+15
* dev-ml/extlib: bump to 1.7.0 and switch to github.Alexis Ballier2015-09-142-0/+49
* dev-ml/ocaml-sqlite3: bump to 4.0.0.Alexis Ballier2015-09-142-0/+30
* dev-ml/ocamlmod: bump to 0.0.8.Alexis Ballier2015-09-142-0/+25
* 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