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

Queue position: None

dev-lang/mercury

Description
Mercury is a modern general-purpose logic/functional programming language
Homepage
http://www.mercurylang.org/index.html
Maintainers

Keri Harris <keri@gentoo.org>

Q&A
Version history
  • upstream - dev-lang/mercury-14.01.1 [<upstream>] - Oct. 2, 2017, 12:12 p.m.
  • upstream - dev-lang/mercury-14.01 [<upstream>] - Sept. 27, 2017, 12:28 p.m.
  • gentoo - dev-lang/mercury-13.05.2 [gentoo] - July 7, 2017, 5:03 a.m.
  • gentoo - dev-lang/mercury-13.05.1 [gentoo] - July 7, 2017, 5:03 a.m.
  • gentoo - dev-lang/mercury-13.05 [gentoo] - July 7, 2017, 5:03 a.m.
  • gentoo - dev-lang/mercury-11.07.2 [gentoo] - July 7, 2017, 5:03 a.m.
  • gentoo - dev-lang/mercury-11.07.1 [gentoo] - July 7, 2017, 5:03 a.m.
  • gentoo - dev-lang/mercury-11.07 [gentoo] - July 7, 2017, 5:03 a.m.
  • gentoo - dev-lang/mercury-11.01 [gentoo] - July 7, 2017, 5:03 a.m.
  • upstream + dev-lang/mercury-14.01 [<upstream>] - May 16, 2016, 9:53 a.m.
  • upstream + dev-lang/mercury-14.01.1 [<upstream>] - May 16, 2016, 9:53 a.m.
  • upstream - dev-lang/mercury-14.01 [<upstream>] - May 14, 2016, 6:59 a.m.
  • upstream - dev-lang/mercury-14.01.1 [<upstream>] - May 14, 2016, 6:59 a.m.
  • upstream + dev-lang/mercury-14.01 [<upstream>] - March 18, 2016, 9:36 a.m.
  • upstream + dev-lang/mercury-14.01.1 [<upstream>] - March 18, 2016, 9:36 a.m.
  • gentoo + dev-lang/mercury-13.05.2 [gentoo] - April 30, 2014, 7:44 a.m.
  • gentoo + dev-lang/mercury-13.05.1 [gentoo] - April 30, 2014, 7:44 a.m.
  • gentoo + dev-lang/mercury-13.05 [gentoo] - April 30, 2014, 7:44 a.m.
  • gentoo + dev-lang/mercury-11.07.2 [gentoo] - April 30, 2014, 7:44 a.m.
  • gentoo + dev-lang/mercury-11.07.1 [gentoo] - April 30, 2014, 7:44 a.m.
  • gentoo + dev-lang/mercury-11.07 [gentoo] - April 30, 2014, 7:44 a.m.
  • gentoo + dev-lang/mercury-11.01 [gentoo] - April 30, 2014, 7:44 a.m.
euscan log

Date: Dec. 13, 2019, 11:07 a.m.

 * SRC_URI is 'http://dl.mercurylang.org/release/mercury-srcdist-14.01.1.tar.gz'
 * Scanning: http://dl.mercurylang.org/release/mercury-srcdist-${PV}.tar.gz
 * Scanning: http://dl.mercurylang.org/release
 * Generating version from 14.01.1
 * Brute forcing: http://dl.mercurylang.org/release/mercury-srcdist-${PV}.tar.gz
 * Trying: http://dl.mercurylang.org/release/mercury-srcdist-14.1.2.tar.gz ...     [ !! ]
 * Trying: http://dl.mercurylang.org/release/mercury-srcdist-14.1.3.tar.gz ...     [ !! ]
 * Trying: http://dl.mercurylang.org/release/mercury-srcdist-14.1.4.tar.gz ...     [ !! ]
 * Trying: http://dl.mercurylang.org/release/mercury-srcdist-14.2.0.tar.gz ...     [ !! ]
 * Trying: http://dl.mercurylang.org/release/mercury-srcdist-14.3.0.tar.gz ...     [ !! ]
 * Trying: http://dl.mercurylang.org/release/mercury-srcdist-14.4.0.tar.gz ...     [ !! ]
 * Trying: http://dl.mercurylang.org/release/mercury-srcdist-15.0.0.tar.gz ...     [ !! ]
 * Trying: http://dl.mercurylang.org/release/mercury-srcdist-16.0.0.tar.gz ...     [ !! ]
 * Trying: http://dl.mercurylang.org/release/mercury-srcdist-17.0.0.tar.gz ...     [ !! ]
 * SRC_URI is 'mirror://gentoo/mercury-14.01.1-gentoo-patchset-4.tar.gz'
 * mirror://gentoo/mercury-14.01.1-gentoo-patchset-4.tar.gz is blacklisted by rule mirror://gentoo/(.*)