author | Thomas Deutschmann <whissi@gentoo.org> | |
Mon, 25 May 2020 21:58:00 +0000 (23:58 +0200) | ||
committer | Thomas Deutschmann <whissi@gentoo.org> | |
Mon, 25 May 2020 21:58:00 +0000 (23:58 +0200) |
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | patch | blob | history |