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
Upstream versions
Version history
  • upstream - dev-lang/mercury-20.01.2 [<upstream>] - July 1, 2020, 12:04 p.m.
  • upstream + dev-lang/mercury-20.06 [<upstream>] - July 1, 2020, 12:04 p.m.
  • upstream + dev-lang/mercury-20.01.2 [<upstream>] - May 4, 2020, 1:02 p.m.
  • upstream - dev-lang/mercury-20.01.1 [<upstream>] - April 3, 2020, 11:55 a.m.
  • upstream - dev-lang/mercury-20.01 [<upstream>] - March 30, 2020, 12:12 p.m.
  • upstream + dev-lang/mercury-20.01.1 [<upstream>] - March 2, 2020, 10:59 a.m.
  • upstream + dev-lang/mercury-20.01 [<upstream>] - Jan. 29, 2020, 11:04 a.m.
  • 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: July 10, 2020, 12:09 p.m.

 * SRC_URI is 'mirror://gentoo/mercury-20.01.1-gentoo-patchset-0.tar.gz'
 * mirror://gentoo/mercury-20.01.1-gentoo-patchset-0.tar.gz is blacklisted by rule mirror://gentoo/(.*)
 * SRC_URI is 'http://dl.mercurylang.org/release/mercury-srcdist-20.01.1.tar.gz'
 * Scanning: http://dl.mercurylang.org/release/mercury-srcdist-${PV}.tar.gz
 * Scanning: http://dl.mercurylang.org/release