diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-06-04 15:23:43 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-06-04 15:39:40 +0200 |
| commit | ba2beea8e2018c7383d0478a487acc34a28c9e1a (patch) | |
| tree | 1460385154c238febed1bce1cd41748857031b9d /sci-mathematics/alt-ergo/files | |
| parent | x11-drivers/nvidia-drivers: migrate all remaining to linux-mod-r1 (diff) | |
| download | gentoo-ba2beea8e2018c7383d0478a487acc34a28c9e1a.tar.gz gentoo-ba2beea8e2018c7383d0478a487acc34a28c9e1a.tar.bz2 gentoo-ba2beea8e2018c7383d0478a487acc34a28c9e1a.zip | |
sci-mathematics/alt-ergo: bump to 2.4.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/alt-ergo/files')
| -rw-r--r-- | sci-mathematics/alt-ergo/files/alt-ergo-2.4.3-dune.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sci-mathematics/alt-ergo/files/alt-ergo-2.4.3-dune.patch b/sci-mathematics/alt-ergo/files/alt-ergo-2.4.3-dune.patch new file mode 100644 index 000000000000..eea143fdd38a --- /dev/null +++ b/sci-mathematics/alt-ergo/files/alt-ergo-2.4.3-dune.patch @@ -0,0 +1,10 @@ +--- a/src/lib/dune ++++ b/src/lib/dune +@@ -21,7 +21,6 @@ + + ; external dependencies + (libraries +- seq + unix + num + str |