summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAge
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-24
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-24
* Unify quoting in metadata.xml files for machine processingMichał Górny2016-01-24
* dev-ml/dose3: adjust extlib-dependency for dose-4.2Matthew Brewer2016-01-21
* dev-ml/eliom: backport upstream patch to build with tyxml 3.6Alexis Ballier2016-01-19
* dev-ml/eliom: fix deps; opam is build dep onlyAlexis Ballier2016-01-19
* dev-ml/eliom: remove oldAlexis Ballier2016-01-19
* dev-ml/js_of_ocaml: remove oldAlexis Ballier2016-01-19
* dev-ml/js_of_ocaml: import upstream patches to build with tyxml 3.6Alexis Ballier2016-01-19
* dev-ml/tyxml: bump to 3.6.0Alexis Ballier2016-01-19
* dev-ml/opam: import debian patch to fix build with dose3 >= 4. Bug #566810.Alexis Ballier2016-01-19
* dev-ml/dose3: remove oldAlexis Ballier2016-01-19
* dev-ml/dose3: bump to 4.2Alexis Ballier2016-01-19
* dev-ml/ocamlgraph: bump to 1.8.6Alexis Ballier2016-01-19
* dev-ml/lablgtk: ia64 stable wrt bug #566610Agostino Sarubbo2016-01-11
* dev-ml/lablgtk: alpha stable wrt bug #566610Agostino Sarubbo2016-01-10
* dev-ml/lablgtk: sparc stable wrt bug #566610Agostino Sarubbo2016-01-09
* Update remote-ids in metadata.xmlJustin Lecher2016-01-07
* Merge remote-tracking branch 'github/pr/618'.Patrice Clement2016-01-07
|\
| * dev-ml/mirage-profile: version bump to 0.6 and 0.6.1Matthew Brewer2016-01-06
* | dev-ml/ocaml-sqlite3: bump to 4.0.3Alexis Ballier2016-01-06
* | dev-ml/ocaml-re: bump to 1.5.0Alexis Ballier2016-01-06
|/
* dev-ml/ocaml-cstruct: bump to 1.7.1Alexis Ballier2015-12-19
* dev-ml/postgresql-ocaml: bump to 3.2.2Alexis Ballier2015-12-19
* dev-ml/yojson: bump to 1.3.0Alexis Ballier2015-12-19
* dev-ml/batteries: bump to 2.4.0Alexis Ballier2015-12-17
* dev-ml/findlib: bump to 1.6.1Alexis Ballier2015-12-09
* dev-ml/lwt: bump to 2.5.1Alexis Ballier2015-12-09
* dev-ml/facile: bump to 1.1.1Alexis Ballier2015-12-09
* dev-ml/lablgtk: ppc stable wrt bug #566610Agostino Sarubbo2015-12-07
* dev-ml/lablgtk: x86 stable wrt bug #566610Agostino Sarubbo2015-12-03
* Merge remote-tracking branch 'github/pr/398'.Patrice Clement2015-11-27
|\
| * dev-ml/ocaml-dns: version bump to 0.16.0Matthew Brewer2015-11-26
* | dev-ml/ocaml-ctypes: arm stable, bug #564404Markus Meier2015-11-26
* | dev-ml/ounit: arm stable, bug #564404Markus Meier2015-11-26
|/
* dev-ml/lablgtk: amd64 stable wrt bug #566610Agostino Sarubbo2015-11-25
* dev-ml/ocaml-sqlite3: bump to 4.0.2Alexis Ballier2015-11-24
* dev-ml/ocaml-ssl: bump to 0.5.2Alexis Ballier2015-11-24
* dev-ml/labltk: arm stable, bug #463018Markus Meier2015-11-21
* dev-ml/findlib: arm stable, bug #463018Markus Meier2015-11-21
* dev-ml/camlp4: arm stable, bug #463018Markus Meier2015-11-21
* dev-ml/camldbm: arm stable, bug #463018Markus Meier2015-11-21
* dev-ml/menhir: bump to 20151112.Alexis Ballier2015-11-13
* dev-ml/zarith: bump to 1.4.1Alexis Ballier2015-11-12
* dev-ml/camlp5: remove oldAlexis Ballier2015-11-12
* dev-ml/findlib: ppc stable wrt bug #463018Agostino Sarubbo2015-11-12
* dev-ml/labltk: ppc stable wrt bug #463018Agostino Sarubbo2015-11-12
* dev-ml/camlp5: ppc stable wrt bug #463018Agostino Sarubbo2015-11-12
* dev-ml/camlp4: ppc stable wrt bug #463018Agostino Sarubbo2015-11-12
* dev-ml/camldbm: ppc stable wrt bug #463018Agostino Sarubbo2015-11-12
generated by cgit v1.2.1 (git 2.18.0) at 2024-07-04 15:54:58 +0000