projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28bdaa9) | patch
sci-mathematics/alt-ergo: fix build with ocaml-4.09
authorTupone Alfredo <tupone@gentoo.org>
Tue, 10 Mar 2020 21:37:53 +0000 (22:37 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Tue, 10 Mar 2020 21:37:53 +0000 (22:37 +0100)
commit9dc3663a2ba8a9a84fa283d166e91a249ab65d2b
treecb680107d6863216375c0232d827993c7d4c7474tree | snapshot
parent28bdaa99c48bce0ceb44d1052add81fa576b2daecommit | diff
sci-mathematics/alt-ergo: fix build with ocaml-4.09

Closes: https://bugs.gentoo.org/712032
Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.