summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-24136-168/+168
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-24133-148/+592
* Unify quoting in metadata.xml files for machine processingMichał Górny2016-01-2424-29/+28
* dev-ml/dose3: adjust extlib-dependency for dose-4.2Matthew Brewer2016-01-211-1/+1
* dev-ml/eliom: backport upstream patch to build with tyxml 3.6Alexis Ballier2016-01-192-1/+130
* dev-ml/eliom: fix deps; opam is build dep onlyAlexis Ballier2016-01-191-2/+2
* dev-ml/eliom: remove oldAlexis Ballier2016-01-195-247/+0
* dev-ml/js_of_ocaml: remove oldAlexis Ballier2016-01-196-169/+0
* dev-ml/js_of_ocaml: import upstream patches to build with tyxml 3.6Alexis Ballier2016-01-193-2/+196
* dev-ml/tyxml: bump to 3.6.0Alexis Ballier2016-01-192-0/+26
* dev-ml/opam: import debian patch to fix build with dose3 >= 4. Bug #566810.Alexis Ballier2016-01-192-1/+82
* dev-ml/dose3: remove oldAlexis Ballier2016-01-195-191/+0
* dev-ml/dose3: bump to 4.2Alexis Ballier2016-01-192-0/+66
* dev-ml/ocamlgraph: bump to 1.8.6Alexis Ballier2016-01-193-0/+101
* 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