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

Queue position: None

sci-mathematics/coq

Description
Proof assistant written in O'Caml
Homepage
http://coq.inria.fr/
Maintainers

Gentoo Mathematics Project <sci-mathematics@gentoo.org>

Q&A
Version history
  • gentoo - sci-mathematics/coq-8.6 [gentoo] - July 7, 2017, 5:06 a.m.
  • gentoo - sci-mathematics/coq-8.5_p3 [gentoo] - July 7, 2017, 5:06 a.m.
  • gentoo - sci-mathematics/coq-8.5 [gentoo] - July 7, 2017, 5:04 a.m.
  • gentoo - sci-mathematics/coq-8.5_p2 [gentoo] - Jan. 25, 2017, 4:05 a.m.
  • gentoo - sci-mathematics/coq-8.5_p1 [gentoo] - Jan. 25, 2017, 4:05 a.m.
  • gentoo + sci-mathematics/coq-8.6 [gentoo] - Dec. 21, 2016, 4:05 a.m.
  • gentoo + sci-mathematics/coq-8.5_p3 [gentoo] - Nov. 16, 2016, 4:05 a.m.
  • gentoo + sci-mathematics/coq-8.5_p2 [gentoo] - July 15, 2016, 5:05 a.m.
  • gentoo - sci-mathematics/coq-8.4_p6 [gentoo] - June 27, 2016, 5:05 a.m.
  • gentoo - sci-mathematics/coq-8.4_p5 [gentoo] - June 27, 2016, 5:05 a.m.
  • gentoo + sci-mathematics/coq-8.5_p1 [gentoo] - April 13, 2016, 5:05 a.m.
  • gentoo + sci-mathematics/coq-8.5 [gentoo] - Jan. 25, 2016, 4:05 a.m.
  • gentoo - sci-mathematics/coq-8.4_p3 [gentoo] - Nov. 13, 2015, 4:06 a.m.
  • gentoo - sci-mathematics/coq-8.4_p2 [gentoo] - Nov. 13, 2015, 4:06 a.m.
  • gentoo - sci-mathematics/coq-8.4_p1 [gentoo] - Nov. 13, 2015, 4:06 a.m.
  • gentoo - sci-mathematics/coq-8.3_p1 [gentoo] - Nov. 13, 2015, 4:06 a.m.
  • gentoo + sci-mathematics/coq-8.4_p6 [gentoo] - July 6, 2015, 5:05 a.m.
  • gentoo + sci-mathematics/coq-8.4_p5 [gentoo] - Nov. 5, 2014, 4:05 a.m.
  • gentoo + sci-mathematics/coq-8.4_p3 [gentoo] - April 30, 2014, 7:51 a.m.
  • gentoo + sci-mathematics/coq-8.4_p2 [gentoo] - April 30, 2014, 7:51 a.m.
  • gentoo + sci-mathematics/coq-8.4_p1 [gentoo] - April 30, 2014, 7:51 a.m.
  • gentoo + sci-mathematics/coq-8.3_p1 [gentoo] - April 30, 2014, 7:51 a.m.
euscan log

Date: March 28, 2020, 12:34 a.m.

 * SRC_URI is 'https://github.com/coq/coq/archive/V8.9.1.tar.gz'
 * Scanning: https://github.com/coq/coq/archive/V${PV}.tar.gz
 * Scanning: https://github.com/coq/coq/archive
 * Generating version from 8.9.1
 * Brute forcing: https://github.com/coq/coq/archive/V${PV}.tar.gz
 * Trying: https://github.com/coq/coq/archive/V8.9.2.tar.gz ...          [ !! ]
 * Trying: https://github.com/coq/coq/archive/V8.9.3.tar.gz ...          [ !! ]
 * Trying: https://github.com/coq/coq/archive/V8.9.4.tar.gz ...          [ !! ]
 * Trying: https://github.com/coq/coq/archive/V8.10.0.tar.gz ...         [ !! ]
 * Trying: https://github.com/coq/coq/archive/V8.11.0.tar.gz ...         [ !! ]
 * Trying: https://github.com/coq/coq/archive/V8.12.0.tar.gz ...         [ !! ]
 * Trying: https://github.com/coq/coq/archive/V9.0.0.tar.gz ...          [ !! ]
 * Trying: https://github.com/coq/coq/archive/V10.0.0.tar.gz ...         [ !! ]
 * Trying: https://github.com/coq/coq/archive/V11.0.0.tar.gz ...         [ !! ]