diff options
| author |   Hank Leininger <hlein@korelogic.com> | 2021-05-05 11:58:32 -0600 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2021-06-06 23:55:17 +0000 |
| commit | 2433fc726df4a5c8cf2b1f1bab0fb81c49a2c1bb (patch) | |
| tree | cdd90043f97f4794963dd95c7a0a1f3da38a26c2 /dev-ml/menhir | |
| parent | dev-ml/opam: patch for dose3-6.x compat (diff) | |
| download | gentoo-2433fc726df4a5c8cf2b1f1bab0fb81c49a2c1bb.tar.gz gentoo-2433fc726df4a5c8cf2b1f1bab0fb81c49a2c1bb.tar.bz2 gentoo-2433fc726df4a5c8cf2b1f1bab0fb81c49a2c1bb.zip | |
dev-ml/opam-state: patch for dose3-6.x compat
Lifted from Debian, see https://bugs.debian.org/982733
Signed-off-by: Hank Leininger <hlein@korelogic.com>
Closes: https://bugs.gentoo.org/788265
Package-Manager: Portage-3.0.18, Repoman-3.0.3
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/menhir')
0 files changed, 0 insertions, 0 deletions