summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/lablgtk: ia64 stable wrt bug #566610Agostino Sarubbo2016-01-111-1/+1
* dev-ml/lablgtk: alpha stable wrt bug #566610Agostino Sarubbo2016-01-101-1/+1
* dev-ml/lablgtk: sparc stable wrt bug #566610Agostino Sarubbo2016-01-091-1/+1
* Update remote-ids in metadata.xmlJustin Lecher2016-01-071-2/+5
* Merge remote-tracking branch 'github/pr/618'.Patrice Clement2016-01-073-0/+66
|\
| * dev-ml/mirage-profile: version bump to 0.6 and 0.6.1Matthew Brewer2016-01-063-0/+66
* | dev-ml/ocaml-sqlite3: bump to 4.0.3Alexis Ballier2016-01-062-0/+30
* | dev-ml/ocaml-re: bump to 1.5.0Alexis Ballier2016-01-062-0/+26
|/
* dev-ml/ocaml-cstruct: bump to 1.7.1Alexis Ballier2015-12-192-0/+44
* dev-ml/postgresql-ocaml: bump to 3.2.2Alexis Ballier2015-12-192-0/+35
* dev-ml/yojson: bump to 1.3.0Alexis Ballier2015-12-192-0/+39
* dev-ml/batteries: bump to 2.4.0Alexis Ballier2015-12-172-0/+25
* dev-ml/findlib: bump to 1.6.1Alexis Ballier2015-12-093-0/+92
* dev-ml/lwt: bump to 2.5.1Alexis Ballier2015-12-092-0/+42
* dev-ml/facile: bump to 1.1.1Alexis Ballier2015-12-092-0/+52
* dev-ml/lablgtk: ppc stable wrt bug #566610Agostino Sarubbo2015-12-071-1/+1
* dev-ml/lablgtk: x86 stable wrt bug #566610Agostino Sarubbo2015-12-031-1/+1
* Merge remote-tracking branch 'github/pr/398'.Patrice Clement2015-11-272-0/+50
|\
| * dev-ml/ocaml-dns: version bump to 0.16.0Matthew Brewer2015-11-262-0/+50
* | dev-ml/ocaml-ctypes: arm stable, bug #564404Markus Meier2015-11-261-1/+1
* | dev-ml/ounit: arm stable, bug #564404Markus Meier2015-11-261-1/+1
|/
* dev-ml/lablgtk: amd64 stable wrt bug #566610Agostino Sarubbo2015-11-251-1/+1
* dev-ml/ocaml-sqlite3: bump to 4.0.2Alexis Ballier2015-11-242-0/+30
* dev-ml/ocaml-ssl: bump to 0.5.2Alexis Ballier2015-11-242-0/+36
* dev-ml/labltk: arm stable, bug #463018Markus Meier2015-11-211-1/+1
* dev-ml/findlib: arm stable, bug #463018Markus Meier2015-11-211-1/+1
* dev-ml/camlp4: arm stable, bug #463018Markus Meier2015-11-211-1/+1
* dev-ml/camldbm: arm stable, bug #463018Markus Meier2015-11-211-1/+1
* dev-ml/menhir: bump to 20151112.Alexis Ballier2015-11-132-0/+37
* dev-ml/zarith: bump to 1.4.1Alexis Ballier2015-11-122-0/+48
* dev-ml/camlp5: remove oldAlexis Ballier2015-11-123-136/+0
* dev-ml/findlib: ppc stable wrt bug #463018Agostino Sarubbo2015-11-121-1/+1
* dev-ml/labltk: ppc stable wrt bug #463018Agostino Sarubbo2015-11-121-1/+1
* dev-ml/camlp5: ppc stable wrt bug #463018Agostino Sarubbo2015-11-121-1/+1
* dev-ml/camlp4: ppc stable wrt bug #463018Agostino Sarubbo2015-11-121-1/+1
* dev-ml/camldbm: ppc stable wrt bug #463018Agostino Sarubbo2015-11-121-1/+1
* dev-ml/ocaml-ctypes: x86 stable wrt bug #564404Agostino Sarubbo2015-11-111-1/+1
* dev-ml/findlib: x86 stable wrt bug #463018Agostino Sarubbo2015-11-111-1/+1
* dev-ml/labltk: x86 stable wrt bug #463018Agostino Sarubbo2015-11-111-1/+1
* dev-ml/camlp5: x86 stable wrt bug #463018Agostino Sarubbo2015-11-111-1/+1
* dev-ml/camlp4: x86 stable wrt bug #463018Agostino Sarubbo2015-11-111-1/+1
* dev-ml/camldbm: x86 stable wrt bug #463018Agostino Sarubbo2015-11-111-1/+1
* dev-ml/ocaml-ctypes: amd64 stable wrt bug #564404Agostino Sarubbo2015-11-101-1/+1
* dev-ml/findlib: amd64 stable wrt bug #463018Agostino Sarubbo2015-11-101-1/+1
* dev-ml/labltk: amd64 stable wrt bug #463018Agostino Sarubbo2015-11-101-1/+1
* dev-ml/camlp5: amd64 stable wrt bug #463018Agostino Sarubbo2015-11-101-1/+1
* dev-ml/camlp4: amd64 stable wrt bug #463018Agostino Sarubbo2015-11-101-1/+1
* dev-ml/camldbm: amd64 stable wrt bug #463018Agostino Sarubbo2015-11-101-1/+1
* dev-ml/ocaml-sqlite3: bump to 4.0.1Alexis Ballier2015-11-062-0/+30
* dev-ml/menhir: Bump to 20151103.Alexis Ballier2015-11-052-0/+37