A refresh request is in progress, please wait...

Queue position: None

sci-mathematics/z3

Description
An efficient theorem prover
Homepage
http://z3.codeplex.com/
Maintainers

Michał Górny <mgorny@gentoo.org>

Gentoo Haskell <haskell@gentoo.org>

Gentoo Science Project <sci@gentoo.org>

Mark Wright <gienah@gentoo.org>

Q&A
Version history
  • upstream - sci-mathematics/z3-4.8.4 [<upstream>] - Feb. 14, 2019, 2:28 a.m.
  • upstream + sci-mathematics/z3-4.8.4 [<upstream>] - Dec. 22, 2018, 4:18 a.m.
  • upstream - sci-mathematics/z3-4.6.0 [<upstream>] - Dec. 15, 2018, 6 a.m.
  • upstream + sci-mathematics/z3-4.6.0 [<upstream>] - Dec. 19, 2017, 6:12 a.m.
  • gentoo - sci-mathematics/z3-4.5.0 [gentoo] - July 7, 2017, 5:06 a.m.
  • gentoo - sci-mathematics/z3-4.4.1 [gentoo] - July 7, 2017, 5:06 a.m.
  • gentoo + sci-mathematics/z3-4.5.0 [gentoo] - Jan. 4, 2017, 4:05 a.m.
  • gentoo + sci-mathematics/z3-4.4.1 [gentoo] - Jan. 4, 2017, 4:05 a.m.
euscan log

Date: June 20, 2019, 5:19 a.m.

 * SRC_URI is 'https://github.com/Z3Prover/z3/archive/Z3-4.8.5.tar.gz'
 * Scanning: https://github.com/Z3Prover/z3/archive/Z3-${PV}.tar.gz
 * Scanning: https://github.com/Z3Prover/z3/archive
 * Generating version from 4.8.5
 * Brute forcing: https://github.com/Z3Prover/z3/archive/Z3-${PV}.tar.gz
 * Trying: https://github.com/Z3Prover/z3/archive/Z3-4.8.6.tar.gz ...    [ !! ]
 * Trying: https://github.com/Z3Prover/z3/archive/Z3-4.8.7.tar.gz ...    [ !! ]
 * Trying: https://github.com/Z3Prover/z3/archive/Z3-4.8.8.tar.gz ...    [ !! ]
 * Trying: https://github.com/Z3Prover/z3/archive/Z3-4.9.0.tar.gz ...    [ !! ]
 * Trying: https://github.com/Z3Prover/z3/archive/Z3-4.10.0.tar.gz ...   [ !! ]
 * Trying: https://github.com/Z3Prover/z3/archive/Z3-4.11.0.tar.gz ...   [ !! ]
 * Trying: https://github.com/Z3Prover/z3/archive/Z3-5.0.0.tar.gz ...    [ !! ]
 * Trying: https://github.com/Z3Prover/z3/archive/Z3-6.0.0.tar.gz ...    [ !! ]
 * Trying: https://github.com/Z3Prover/z3/archive/Z3-7.0.0.tar.gz ...    [ !! ]