anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #20461 from R1kM/fix-pkg-z34.8.5

Fix z3 4.8.5 package

authored by

Marcello Seri and committed by
GitHub bb5c177d 0e11bc6d

+3 -2
+1 -1
packages/z3/z3.4.8.5/files/4468.patch
··· 249 249 OCAMLMKLIB = 'ocamlmklib' 250 250 251 251 - LIBZ3 = '-cclib -l' + z3link 252 - + LIBZ3 = '-l' + z3link + ' -lstdc++' + ' -lgomp' 252 + + LIBZ3 = '-l' + z3link + ' -lstdc++' 253 253 if is_cygwin() and not(is_cygwin_mingw()): 254 254 LIBZ3 = z3linkdep 255 255
+2 -1
packages/z3/z3.4.8.5/opam
··· 24 24 ] 25 25 synopsis: "Z3 solver" 26 26 extra-files: [ 27 - ["4468.patch" "sha512=d4cf90a4b3a9e9f1d07b1e6a04f89fb2c74e429d7e151bbc91841b54e34c8adbcd74183d79ed95c4df5d33b064dc715125523c7842cc3dfcc2b5b42ac83a244c"] 27 + ["4468.patch" "sha512=5fdf023a793f857d79497ad0c68b2a55b7ec0e14243cfd1874b3dd0ee09538bf46bedf39caf8380deb85a2f6d06472fa982faa1e4cc9ec9c8b88291cbf97ab5e"] 28 28 ] 29 29 30 30 url { 31 31 src: "https://github.com/Z3Prover/z3/archive/Z3-4.8.5.tar.gz" 32 + checksum: "sha512=ca36e1a0332bd473a64f41dfdb31656fb3486178473e4fd4934dccce109a84c9686c08f94998df74bacb588eb12ea5db25dc17a564ee76f82fd2559349697309" 32 33 }