diff options
author | 2024-06-14 00:53:00 +0200 | |
---|---|---|
committer | 2024-06-15 08:08:02 -0600 | |
commit | dbadf97befd972be14c08c14f8aaad035f714526 (patch) | |
tree | bff8c187dbf30cb635f8171c3a0f81d82945fdb9 /dev-ml/menhir/menhir-20170712.ebuild | |
parent | sys-cluster/charliecloud: add 0.38 (diff) | |
download | gentoo-master.tar.gz gentoo-master.tar.bz2 gentoo-master.zip |
Closes: https://github.com/gentoo/gentoo/pull/37149
Signed-off-by: Oliver Freyermuth <o.freyermuth@googlemail.com>
Signed-off-by: Nicolas Bock <nicolasbock@gentoo.org>
Diffstat (limited to 'dev-ml/menhir/menhir-20170712.ebuild')
0 files changed, 0 insertions, 0 deletions