Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/bignum
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/*: Remove first set of unneeded leaf packagesMichał Górny2020-01-143-43/+0
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-5/+2
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-1/+1
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-1/+4
* dev-ml/bignum: Force "upgrade" to latest ppx, bug #615190Alexis Ballier2017-04-121-0/+2
* dev-ml/bignum: Bump to 0.9.0Alexis Ballier2017-04-022-25/+7
* dev-ml/bignum: remove oldAlexis Ballier2017-03-112-51/+0
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-282-2/+0
* dev-ml/bignum: bump to 113.33.03Alexis Ballier2017-01-302-0/+52
* dev-ml/bignum: remove oldAlexis Ballier2017-01-242-52/+0
* dev-ml/bignum: bump to 113.33.00Alexis Ballier2016-03-222-0/+52
* dev-ml/bignum: remove oldAlexis Ballier2016-02-052-30/+0
* dev-ml/bignum: bump to 113.24.00Alexis Ballier2016-02-052-0/+52
* 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/bignum: initial import, ebuild by me.Alexis Ballier2015-09-193-0/+35