Gentoo Packages
Gentoo Packages
>
gentoo
>
Categories
>
sci-mathematics
>
prover9
> Manifest > LADR-2009-11A-makefile.patch.xz
sci-mathematics
/
prover9
- Manifest: LADR-2009-11A-makefile.patch.xz
Details
Type
DIST
File
LADR-2009-11A-makefile.patch.xz
Size
4300 bytes
Hashes
Type
Value
BLAKE2B
3ea0860901876c43aeadcee7cf7eca02c31c88ca6670c867ef4a41b9adc2aa13edf36f45807713f7b200355f5086b43a17722071be81f58af1bc5d70327e3e41
SHA512
c1d2e27d991036af24a29deb4401fbf9687415d2a37bebabb9cfc77d8672e0804d974f92cbd7b8e16c0a0c10b75831847f7b8ddb94244d7e632de7b1be5081f1
Versions
2009.11a-r2
Source URLs
https://dev.gentoo.org/~jlec/distfiles/LADR-2009-11A-makefile.patch.xz