diff options
-rw-r--r-- | sci-mathematics/picosat/picosat-965-r1.ebuild (renamed from sci-mathematics/picosat/picosat-965.ebuild) | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sci-mathematics/picosat/picosat-965.ebuild b/sci-mathematics/picosat/picosat-965-r1.ebuild index 9803703a619b..30e893f62288 100644 --- a/sci-mathematics/picosat/picosat-965.ebuild +++ b/sci-mathematics/picosat/picosat-965-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -31,6 +31,7 @@ src_install() { insinto /usr/share newins VERSION picosat.version + dolib.a libpicosat.a dolib.so libpicosat.so doheader picosat.h |