Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/utop
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/utop: add alcotest depsAlfredo Tupone2024-08-011-1/+4
* dev-ml/utop: add 2.14.0Alfredo Tupone2024-07-132-0/+67
* dev-ml/utop: drop old 2.11.0-r1Maciej Barć2023-08-272-65/+0
* dev-ml/utop: drop old 2.9.2Maciej Barć2023-08-052-64/+0
* dev-ml/utop: drop old 2.9.1-r1Maciej Barć2023-04-242-64/+0
* dev-ml/utop: drop old 2.9.0-r1Maciej Barć2023-04-242-64/+0
* dev-ml/utop: bump to 2.12.1Maciej Barć2023-04-242-0/+65
* dev-ml/utop: fix depsMaciej Barć2023-01-131-1/+2
* dev-ml/utop: bump to 2.11.0Maciej Barć2023-01-132-0/+64
* dev-ml/utop: drop old 2.8.0-r1Maciej Barć2022-07-042-64/+0
* dev-ml/utop: bump to 2.9.2Maciej Barć2022-07-042-0/+64
* dev-ml/utop: enable Emacs supportMaciej Barć2022-07-047-81/+192
* dev-ml/utop: bump to 2.9.1Maciej Barć2022-05-222-0/+28
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
* dev-ml/utop: bump to 2.9.0Maciej Barć2021-12-102-0/+28
* dev-ml/utop: new package; add version 2.8.0Maciej Barć2021-12-083-0/+47
* dev-ml/*: Remove first set of unneeded leaf packagesMichał Górny2020-01-143-36/+0
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-1/+1
* dev-ml/utop: convert to opam.eclassAlexis Ballier2017-08-021-15/+1
* dev-ml/utop: bump findlib dep, bug #620264Alexis Ballier2017-05-311-1/+1
* dev-ml/utop: remove oldAlexis Ballier2017-05-314-105/+0
* dev-ml/utop: bump to 2.0.1Alexis Ballier2017-05-302-0/+42
* dev-ml/utop: add missing := dep on findlibAlexis Ballier2017-05-301-0/+1
* dev-ml/utop: bump to 2.0.0Alexis Ballier2017-05-302-0/+41
* dev-ml/utop: switch to lwt_react depsAlexis Ballier2017-04-201-2/+4
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ml/utop: do not try to install an emacs file that doesnt exist, bug #586512Alexis Ballier2016-10-141-1/+0
* dev-ml/utop: remove oldAlexis Ballier2016-10-142-60/+0
* dev-ml/utop: bump to 1.19.3Alexis Ballier2016-08-162-0/+60
* dev-ml/utop: remove oldAlexis Ballier2016-06-234-180/+0
* dev-ml/utop: drop backward compat dep for camlp4Alexis Ballier2016-06-231-2/+2
* Revert "dev-ml/*: Remove := slot ops from || deps, #586304"Alexis Ballier2016-06-234-8/+8
* dev-ml/*: Remove := slot ops from || deps, #586304Michał Górny2016-06-214-8/+8
* dev-ml/utop: bump to 1.19.2Alexis Ballier2016-04-302-0/+60
* dev-ml/utop: bump to 1.19.1Alexis Ballier2016-04-202-0/+60
* dev-ml/utop: bump to 1.19Alexis Ballier2016-04-132-0/+60
* dev-ml/utop: remove oldAlexis Ballier2016-04-135-234/+0
* dev-ml/utop: bump to 1.18.2Alexis Ballier2016-03-042-0/+60
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
* dev-ml/utop: Bump to 1.18.1Alexis Ballier2015-11-052-0/+60
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-243-6/+6
* proj/gentoo: Initial commitRobin H. Johnson2015-08-085-0/+185