| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/menhir: destabilise for ppc | Sam James | 2022-03-03 | 2 | -4/+4 |
* | dev-ml/menhir: 20211012 bump | Alfredo Tupone | 2021-11-07 | 2 | -0/+22 |
* | dev-ml/menhir: Stabilize 20210419-r1 arm64, #817713 | Sam James | 2021-10-13 | 1 | -1/+1 |
* | dev-ml/menhir: Stabilize 20210419-r1 arm, #817713 | Sam James | 2021-10-13 | 1 | -1/+1 |
* | dev-ml/menhir: Stabilize 20210419-r1 x86, #817713 | Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/menhir: ppc stable wrt bug #817713 | Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/menhir: Stabilize 20210419-r1 ppc64, #817713 | Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/menhir: Stabilize 20210419-r1 amd64, #817713 | Sam James | 2021-10-11 | 1 | -1/+1 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | dev-ml/menhir: install menhirLib and menhirSdk too | Alfredo Tupone | 2021-07-18 | 1 | -0/+6 |
* | dev-ml/menhir: bump 20210419 | Alfredo Tupone | 2021-07-18 | 2 | -0/+16 |
* | dev-ml/menhir: eutils-- | Sam James | 2021-04-16 | 1 | -2/+8 |
* | dev-ml/menhir: drop 20181006 | Sam James | 2021-03-15 | 2 | -37/+0 |
* | dev-ml/menhir: Stabilize 20190924 arm64, #772833 | Sam James | 2021-03-14 | 1 | -1/+1 |
* | dev-ml/menhir: Stabilize 20190924 arm, #772833 | Sam James | 2021-03-14 | 1 | -1/+1 |
* | dev-ml/menhir: Stabilize 20190924 ppc64, #772833 | Sam James | 2021-03-13 | 1 | -1/+1 |
* | dev-ml/menhir: amd64 stable wrt bug #772833 | Agostino Sarubbo | 2021-03-04 | 1 | -1/+1 |
* | dev-ml/menhir: Stabilize 20190924 x86, #772833 | Sam James | 2021-02-25 | 1 | -1/+1 |
* | dev-ml/menhir: Stabilize 20190924 ppc, #772833 | Sam James | 2021-02-25 | 1 | -1/+1 |
* | dev-ml/menhir: Keyword 20190924 ppc64, #766884 | Sam James | 2021-02-10 | 1 | -2/+2 |
* | dev-ml/menhir: ml maintains it | Alfredo Tupone | 2021-01-17 | 1 | -1/+4 |
* | dev-ml/menhir: drop old | Aaron Bauman | 2020-11-28 | 3 | -74/+0 |
* | */*: Remove ml@ from packages maintainers | Michał Górny | 2019-12-13 | 1 | -4/+1 |
* | dev-ml/menhir: bump to 20190924 | Jason A. Donenfeld | 2019-12-03 | 2 | -0/+37 |
* | dev-ml/menhir: Stable version | Tupone Alfredo | 2019-10-21 | 1 | -1/+1 |
* | dev-ml/menhir: bump to 20181006 | Tupone Alfredo | 2019-07-25 | 2 | -0/+37 |
* | dev-ml/menhir: amd64 stable wrt bug #672444 | Mikle Kolyada | 2018-12-15 | 1 | -2/+2 |
* | dev-ml/*: Update Manifest hashes | Michał Górny | 2017-12-09 | 1 | -2/+2 |
* | dev-ml/menhir: bump to 20171013 | Alexis Ballier | 2017-10-17 | 2 | -0/+37 |
* | dev-ml/menhir: Remove old | Alexis Ballier | 2017-07-24 | 5 | -148/+0 |
* | dev-ml/menhir: keyword ~arm | Alexis Ballier | 2017-07-24 | 1 | -1/+1 |
* | dev-ml/menhir: bump to 20170712 | Alexis Ballier | 2017-07-13 | 2 | -0/+37 |
* | dev-ml/menhir: add ~ppc (needed for jbuilder test suite) | Alexis Ballier | 2017-07-08 | 1 | -1/+1 |
* | dev-ml/menhir: keyword ~arm64 | Alexis Ballier | 2017-06-22 | 1 | -1/+1 |
* | dev-ml/menhir: bump to 20170607 | Alexis Ballier | 2017-06-08 | 2 | -0/+37 |
* | dev-ml/menhir: bump to 20170509 | Alexis Ballier | 2017-05-10 | 2 | -0/+37 |
* | dev-ml/menhir: new release switchted from qpl to gpl | Alexis Ballier | 2017-04-19 | 1 | -1/+1 |
* | dev-ml/menhir: bump to 20170418 | Alexis Ballier | 2017-04-19 | 2 | -0/+37 |
* | Drop $Id$ per council decision in bug #611234. | Robin H. Johnson | 2017-02-28 | 1 | -1/+0 |
* | dev-ml/menhir: remove old | Alexis Ballier | 2017-01-24 | 2 | -38/+0 |
* | dev-ml/menhir: bump to 20170101 | Alexis Ballier | 2017-01-03 | 2 | -0/+38 |
* | dev-ml/menhir: remove old | Alexis Ballier | 2017-01-03 | 5 | -152/+0 |
* | dev-ml/menhir: bump to 20161115 | Alexis Ballier | 2016-11-16 | 2 | -0/+38 |
* | dev-ml/menhir: bump to 20161114 | Alexis Ballier | 2016-11-15 | 2 | -0/+38 |
* | dev-ml/menhir: bump to 20160825 | Alexis Ballier | 2016-08-27 | 2 | -0/+38 |
* | dev-ml/menhir: bump to 20160808 | Alexis Ballier | 2016-08-16 | 2 | -0/+38 |
* | dev-ml/menhir: remove old | Alexis Ballier | 2016-08-16 | 5 | -131/+0 |
* | dev-ml/menhir: bump to 20160526 | Alexis Ballier | 2016-05-30 | 2 | -0/+38 |
* | dev-ml/menhir: bump to 20160504 | Alexis Ballier | 2016-05-24 | 2 | -0/+38 |
* | dev-ml/menhir: bump to 20160303 | Alexis Ballier | 2016-03-04 | 2 | -0/+38 |