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

Queue position: None

dev-lang/qu-prolog

Description
Qu-Prolog is an extended Prolog supporting quantifiers, object-variables and substitutions
Homepage
http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html
Maintainers

Prolog <prolog@gentoo.org>

Q&A
Upstream versions
Version history
  • upstream + dev-lang/qu-prolog-10.2 [<upstream>] - March 6, 2019, 11:41 a.m.
  • upstream - dev-lang/qu-prolog-10.2 [<upstream>] - March 4, 2019, 11:07 a.m.
  • upstream + dev-lang/qu-prolog-10.2 [<upstream>] - Oct. 5, 2018, 12:39 p.m.
  • upstream - dev-lang/qu-prolog-10.1 [<upstream>] - July 20, 2018, 11:33 a.m.
  • gentoo - dev-lang/qu-prolog-9.5 [gentoo] - July 7, 2017, 5:07 a.m.
  • gentoo - dev-lang/qu-prolog-9.1-r1 [gentoo] - July 7, 2017, 5:07 a.m.
  • gentoo - dev-lang/qu-prolog-10.0 [gentoo] - July 7, 2017, 5:05 a.m.
  • gentoo - dev-lang/qu-prolog-9.6 [gentoo] - July 7, 2017, 5:05 a.m.
  • gentoo - dev-lang/qu-prolog-9.7 [gentoo] - July 7, 2017, 5:04 a.m.
  • gentoo - dev-lang/qu-prolog-9.1 [gentoo] - July 7, 2017, 5:03 a.m.
  • upstream + dev-lang/qu-prolog-10.1 [<upstream>] - March 20, 2017, 10:45 a.m.
  • gentoo + dev-lang/qu-prolog-10.0 [gentoo] - Oct. 5, 2016, 5:03 a.m.
  • upstream - dev-lang/qu-prolog-10.0 [<upstream>] - Oct. 3, 2016, 6:54 p.m.
  • upstream + dev-lang/qu-prolog-10.0 [<upstream>] - May 11, 2016, 9:49 a.m.
  • upstream - dev-lang/qu-prolog-9.7 [<upstream>] - Feb. 18, 2016, 6:59 a.m.
  • gentoo + dev-lang/qu-prolog-9.7 [gentoo] - Feb. 17, 2016, 4:03 a.m.
  • upstream - dev-lang/qu-prolog-9.6 [<upstream>] - Feb. 16, 2016, 4:58 a.m.
  • upstream + dev-lang/qu-prolog-9.7 [<upstream>] - Feb. 15, 2016, 9:29 a.m.
  • gentoo + dev-lang/qu-prolog-9.6 [gentoo] - Feb. 15, 2016, 4:03 a.m.
  • upstream + dev-lang/qu-prolog-9.6 [<upstream>] - Jan. 4, 2016, 9:22 a.m.
  • upstream - dev-lang/qu-prolog-9.6 [<upstream>] - Jan. 2, 2016, 5:57 a.m.
  • upstream + dev-lang/qu-prolog-9.6 [<upstream>] - Sept. 30, 2015, 10:35 a.m.
  • upstream - dev-lang/qu-prolog-9.6 [<upstream>] - Sept. 29, 2015, 6:04 a.m.
  • upstream + dev-lang/qu-prolog-9.6 [<upstream>] - May 15, 2015, 10:05 a.m.
  • gentoo + dev-lang/qu-prolog-9.5 [gentoo] - May 4, 2015, 5:03 a.m.
  • gentoo + dev-lang/qu-prolog-9.1-r1 [gentoo] - March 23, 2015, 4:03 a.m.
  • gentoo + dev-lang/qu-prolog-9.1 [gentoo] - April 30, 2014, 7:44 a.m.
euscan log

Date: Nov. 20, 2019, 11:11 a.m.

 * SRC_URI is 'http://www.itee.uq.edu.au/~pjr/HomePages/QPFiles/qp10.1.tar.gz'
 * Scanning: http://www.itee.uq.edu.au/~pjr/HomePages/QPFiles/qp${PV}.tar.gz
 * Scanning: http://www.itee.uq.edu.au/~pjr/HomePages/QPFiles
 * Generating version from 10.1
 * Brute forcing: http://www.itee.uq.edu.au/~pjr/HomePages/QPFiles/qp${PV}.tar.gz
 * Trying: http://www.itee.uq.edu.au/~pjr/HomePages/QPFiles/qp10.2.tar.gz ...    [ ok ]