Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/topkg
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/topkg: fix build without ocamloptSam James2021-06-141-3/+8
* dev-ml/topkg: Stabilize 1.0.3 arm64, #772833Sam James2021-03-141-1/+1
* dev-ml/topkg: Stabilize 1.0.3 arm, #772833Sam James2021-03-141-1/+1
* dev-ml/topkg: drop 0.9.0, 0.9.1Sam James2021-03-133-68/+0
* dev-ml/topkg: Stabilize 1.0.3 ppc, #769317Sam James2021-02-111-1/+1
* dev-ml/topkg: Stabilize 1.0.3 x86, #769317Sam James2021-02-111-1/+1
* dev-ml/topkg: Stabilize 1.0.3 amd64, #769317Sam James2021-02-101-1/+1
* dev-ml/topkg: Stabilize 1.0.3 ppc64, #769317Sam James2021-02-101-2/+2
* dev-ml/topkg: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
* dev-ml/topkg: Bump to 1.0.3Mark Wright2020-10-133-1/+38
* dev-ml/topkg: update homepageAlexey Sokolov2020-06-042-4/+4
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-5/+2
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-2/+2
* dev-ml/topkg: bump to 0.9.1Alexis Ballier2017-10-172-0/+34
* dev-ml/topkg: keyword ~x86Alexis Ballier2017-08-021-1/+1
* dev-ml/topkg: Remove oldAlexis Ballier2017-07-152-32/+0
* dev-ml/topkg: add missing findlib depAlexis Ballier2017-06-291-0/+1
* dev-ml/topkg: keyword ~arm64Alexis Ballier2017-06-221-1/+1
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-5/+8
* dev-ml/topkg: add ~ppc (bug 527318).Michael Weber2017-04-052-2/+2
* dev-ml/topkg: Add missing ocamlbuild depAlexis Ballier2017-03-171-0/+1
* dev-ml/topkg: Bump to 0.9.0Alexis Ballier2017-03-172-0/+32
* dev-ml/topkg: keyword ~armAlexis Ballier2017-03-151-1/+1
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ml/topkg: stop using opam-installer as it is an opam dep, bug #601906Alexis Ballier2017-01-091-8/+6
* dev-ml/topkg: add proper subslotAlexis Ballier2016-11-281-1/+1
* dev-ml/topkg: initial import; ebuild by meAlexis Ballier2016-11-283-0/+43