| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/*: Update Manifest hashes | Michał Górny | 2017-12-09 | 1 | -2/+2 |
* | dev-ml/extlib: keyword ~arm64 | Alexis Ballier | 2017-06-22 | 1 | -1/+1 |
* | dev-ml/extlib: add ~arm, bug #611014 | Markus Meier | 2017-04-05 | 1 | -1/+1 |
* | dev-ml/extlib: bump to 1.7.2 | Alexis Ballier | 2017-04-01 | 2 | -0/+48 |
* | dev-ml/extlib: Fix build with ocaml 4.05 | Alexis Ballier | 2017-03-27 | 2 | -0/+39 |
* | Drop $Id$ per council decision in bug #611234. | Robin H. Johnson | 2017-02-28 | 1 | -1/+0 |
* | dev-ml/extlib: remove old | Alexis Ballier | 2017-02-23 | 2 | -43/+0 |
* | dev-ml/extlib: ppc stable (bug 586910). | Michael Weber | 2017-02-23 | 1 | -1/+1 |
* | dev-ml/extlib: Add ~ppc keyword (bug 586910). | Michael Weber | 2017-02-23 | 1 | -1/+1 |
* | dev-ml/extlib: x86 stable wrt bug #586910 | Agostino Sarubbo | 2017-02-16 | 1 | -1/+1 |
* | dev-ml/extlib: amd64 stable wrt bug #586910 | Agostino Sarubbo | 2017-02-16 | 1 | -2/+2 |
* | dev-ml/extlib: remove old | Alexis Ballier | 2017-01-24 | 3 | -89/+0 |
* | dev-ml/extlib: bump to 1.7.1 | Alexis Ballier | 2016-11-15 | 2 | -0/+49 |
* | dev-ml/extlib: Drop non-camlp4 support, #586910 | Michał Górny | 2016-06-29 | 1 | -2/+2 |
* | Revert "dev-ml/*: Remove := slot ops from || deps, #586304" | Alexis Ballier | 2016-06-23 | 1 | -2/+2 |
* | dev-ml/*: Remove := slot ops from || deps, #586304 | Michał Górny | 2016-06-21 | 1 | -2/+2 |
* | Set appropriate maintainer types in metadata.xml (GLEP 67) | Michał Górny | 2016-01-24 | 1 | -1/+1 |
* | Replace all herds with appropriate projects (GLEP 67) | Michał Górny | 2016-01-24 | 1 | -1/+4 |
* | dev-ml/extlib: Fix deps. Upstream switched from camlp4 to cppo. | Alexis Ballier | 2015-09-19 | 1 | -2/+2 |
* | Add remote-id | Justin Lecher | 2015-09-16 | 1 | -0/+1 |
* | dev-ml/extlib: bump to 1.7.0 and switch to github. | Alexis Ballier | 2015-09-14 | 2 | -0/+49 |
* | Revert DOCTYPE SYSTEM https changes in metadata.xml | Mike Gilbert | 2015-08-24 | 1 | -1/+1 |
* | Convert URIs for googlecode.com to https | Justin Lecher | 2015-08-24 | 2 | -2/+2 |
* | Enable https for all google URIs | Justin Lecher | 2015-08-24 | 2 | -2/+2 |
* | Use https by default | Justin Lecher | 2015-08-24 | 1 | -1/+1 |
* | proj/gentoo: Initial commit | Robin H. Johnson | 2015-08-08 | 4 | -0/+91 |