summaryrefslogtreecommitdiff
path: root/dev-ml/utop
Commit message (Expand)AuthorAge
* dev-ml/utop: bump to 1.19.3Alexis Ballier2016-08-16
* dev-ml/utop: remove oldAlexis Ballier2016-06-23
* dev-ml/utop: drop backward compat dep for camlp4Alexis Ballier2016-06-23
* Revert "dev-ml/*: Remove := slot ops from || deps, #586304"Alexis Ballier2016-06-23
* dev-ml/*: Remove := slot ops from || deps, #586304Michał Górny2016-06-21
* dev-ml/utop: bump to 1.19.2Alexis Ballier2016-04-30
* dev-ml/utop: bump to 1.19.1Alexis Ballier2016-04-20
* dev-ml/utop: bump to 1.19Alexis Ballier2016-04-13
* dev-ml/utop: remove oldAlexis Ballier2016-04-13
* dev-ml/utop: bump to 1.18.2Alexis Ballier2016-03-04
* 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
* dev-ml/utop: Bump to 1.18.1Alexis Ballier2015-11-05
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-24
* Use https by defaultJustin Lecher2015-08-24
* Use https by defaultJustin Lecher2015-08-24
* proj/gentoo: Initial commitRobin H. Johnson2015-08-08
generated by cgit v1.2.1 (git 2.18.0) at 2024-07-07 04:57:55 +0000