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

Queue position: None

sci-mathematics/agda

Description
A dependently typed functional programming language and proof assistant
Homepage
http://wiki.portal.chalmers.se/agda/
Maintainers

Gentoo Haskell <haskell@gentoo.org>

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

Q&A
Upstream versions
Version history
  • upstream - sci-mathematics/agda-2.5.4 [<upstream>] - June 27, 2019, 5:27 a.m.
  • upstream + sci-mathematics/agda-2.5.3 [<upstream>] - June 27, 2019, 5:27 a.m.
  • upstream - sci-mathematics/agda-2.5.3 [<upstream>] - June 25, 2019, 4:56 a.m.
  • upstream + sci-mathematics/agda-2.5.4 [<upstream>] - June 25, 2019, 4:56 a.m.
  • upstream - sci-mathematics/agda-2.5.4 [<upstream>] - March 26, 2019, 5:38 a.m.
  • upstream + sci-mathematics/agda-2.5.3 [<upstream>] - March 26, 2019, 5:38 a.m.
  • upstream - sci-mathematics/agda-2.5.3 [<upstream>] - March 23, 2019, 4:36 a.m.
  • upstream + sci-mathematics/agda-2.5.4 [<upstream>] - March 23, 2019, 4:36 a.m.
  • upstream - sci-mathematics/agda-2.5.4 [<upstream>] - Jan. 29, 2019, 1:58 a.m.
  • upstream + sci-mathematics/agda-2.5.3 [<upstream>] - Jan. 29, 2019, 1:58 a.m.
  • upstream - sci-mathematics/agda-2.5.3 [<upstream>] - Jan. 26, 2019, 3:36 a.m.
  • upstream + sci-mathematics/agda-2.5.4 [<upstream>] - Jan. 26, 2019, 3:36 a.m.
  • upstream + sci-mathematics/agda-2.5.3 [<upstream>] - Dec. 11, 2018, 4:54 a.m.
  • upstream - sci-mathematics/agda-2.5.3 [<upstream>] - Dec. 8, 2018, 5:05 a.m.
  • upstream - sci-mathematics/agda-2.5.4 [<upstream>] - Oct. 23, 2018, 6:02 a.m.
  • upstream + sci-mathematics/agda-2.5.3 [<upstream>] - Oct. 23, 2018, 6:02 a.m.
  • upstream - sci-mathematics/agda-2.5.3 [<upstream>] - Oct. 20, 2018, 4:36 a.m.
  • upstream + sci-mathematics/agda-2.5.4 [<upstream>] - Oct. 20, 2018, 4:36 a.m.
  • upstream + sci-mathematics/agda-2.5.3 [<upstream>] - Oct. 13, 2018, 5:17 a.m.
  • upstream - sci-mathematics/agda-2.5.3 [<upstream>] - Oct. 11, 2018, 5:21 a.m.
  • upstream + sci-mathematics/agda-2.5.3 [<upstream>] - Sept. 9, 2017, 5:29 a.m.
  • gentoo - sci-mathematics/agda-2.5.2-r1:0/2.5.2 [gentoo] - July 7, 2017, 5:06 a.m.
  • gentoo - sci-mathematics/agda-2.4.2.5-r2:0/2.4.2.5 [gentoo] - July 7, 2017, 5:05 a.m.
  • gentoo + sci-mathematics/agda-2.5.2-r1:0/2.5.2 [gentoo] - Feb. 17, 2017, 4:05 a.m.
  • gentoo - sci-mathematics/agda-2.4.2.5-r1:0/2.4.2.5 [gentoo] - April 25, 2016, 5:05 a.m.
  • gentoo - sci-mathematics/agda-2.4.2.5:0/2.4.2.5 [gentoo] - April 25, 2016, 5:05 a.m.
  • gentoo - sci-mathematics/agda-2.4.2.3-r3:0/2.4.2.3 [gentoo] - April 4, 2016, 5:05 a.m.
  • gentoo - sci-mathematics/agda-2.4.2.3-r1:0/2.4.2.3 [gentoo] - April 4, 2016, 5:05 a.m.
  • gentoo - sci-mathematics/agda-2.4.2.3-r2:0/2.4.2.3 [gentoo] - April 4, 2016, 5:05 a.m.
  • gentoo - sci-mathematics/agda-2.4.2.2-r1:0/2.4.2.2 [gentoo] - April 4, 2016, 5:05 a.m.
  • gentoo - sci-mathematics/agda-2.4.0.1:0/2.4.0.1 [gentoo] - April 4, 2016, 5:05 a.m.
  • gentoo + sci-mathematics/agda-2.4.2.5-r2:0/2.4.2.5 [gentoo] - April 4, 2016, 5:05 a.m.
  • gentoo + sci-mathematics/agda-2.4.2.5-r1:0/2.4.2.5 [gentoo] - Feb. 10, 2016, 4:06 a.m.
  • upstream - sci-mathematics/agda-2.4.2.4 [<upstream>] - Jan. 19, 2016, 5:54 a.m.
  • gentoo + sci-mathematics/agda-2.4.2.5:0/2.4.2.5 [gentoo] - Jan. 15, 2016, 4:05 a.m.
  • gentoo + sci-mathematics/agda-2.4.2.3-r3:0/2.4.2.3 [gentoo] - Jan. 15, 2016, 4:05 a.m.
  • upstream + sci-mathematics/agda-2.4.2.4 [<upstream>] - Sept. 28, 2015, 11:37 p.m.
  • gentoo + sci-mathematics/agda-2.4.2.3-r2:0/2.4.2.3 [gentoo] - Sept. 28, 2015, 5:05 a.m.
  • upstream - sci-mathematics/agda-2.4.2.3 [<upstream>] - Aug. 4, 2015, 1:57 a.m.
  • gentoo - sci-mathematics/agda-2.3.2.1-r1:0/2.3.2.1 [gentoo] - Aug. 3, 2015, 5:06 a.m.
  • gentoo - sci-mathematics/agda-2.3.2-r5:0/2.3.2 [gentoo] - Aug. 3, 2015, 5:06 a.m.
  • gentoo - sci-mathematics/agda-2.3.2.2-r1:0/2.3.2.2 [gentoo] - Aug. 3, 2015, 5:06 a.m.
  • gentoo + sci-mathematics/agda-2.4.2.3-r1:0/2.4.2.3 [gentoo] - Aug. 3, 2015, 5:05 a.m.
  • upstream + sci-mathematics/agda-2.4.2.3 [<upstream>] - May 25, 2015, 9:15 p.m.
  • gentoo - sci-mathematics/agda-2.3.2-r2:0/2.3.2 [gentoo] - Jan. 30, 2015, 4:06 a.m.
  • gentoo - sci-mathematics/agda-2.3.2:0/2.3.2 [gentoo] - Jan. 30, 2015, 4:06 a.m.
  • gentoo - sci-mathematics/agda-2.3.0.1-r1:0/2.3.0.1 [gentoo] - Jan. 30, 2015, 4:06 a.m.
  • gentoo - sci-mathematics/agda-2.3.0.1 [gentoo] - Jan. 30, 2015, 4:06 a.m.
  • upstream - sci-mathematics/agda-2.4.0.2 [<upstream>] - Dec. 16, 2014, 12:35 a.m.
  • gentoo + sci-mathematics/agda-2.4.2.2-r1:0/2.4.2.2 [gentoo] - Dec. 15, 2014, 4:05 a.m.
  • upstream + sci-mathematics/agda-2.4.0.2 [<upstream>] - Sept. 29, 2014, 8:39 p.m.
  • upstream - sci-mathematics/agda-2.4.0.2 [<upstream>] - Sept. 27, 2014, 2:26 a.m.
  • upstream + sci-mathematics/agda-2.4.0.2 [<upstream>] - July 30, 2014, 8:48 p.m.
  • gentoo + sci-mathematics/agda-2.4.0.1:0/2.4.0.1 [gentoo] - July 4, 2014, 5:07 a.m.
  • gentoo + sci-mathematics/agda-2.3.2.2-r1:0/2.3.2.2 [gentoo] - April 30, 2014, 7:51 a.m.
  • gentoo + sci-mathematics/agda-2.3.2.1-r1:0/2.3.2.1 [gentoo] - April 30, 2014, 7:51 a.m.
  • gentoo + sci-mathematics/agda-2.3.2-r5:0/2.3.2 [gentoo] - April 30, 2014, 7:51 a.m.
  • gentoo + sci-mathematics/agda-2.3.2-r2:0/2.3.2 [gentoo] - April 30, 2014, 7:51 a.m.
  • gentoo + sci-mathematics/agda-2.3.2:0/2.3.2 [gentoo] - April 30, 2014, 7:51 a.m.
  • gentoo + sci-mathematics/agda-2.3.0.1-r1:0/2.3.0.1 [gentoo] - April 30, 2014, 7:51 a.m.
  • gentoo + sci-mathematics/agda-2.3.0.1 [gentoo] - April 30, 2014, 7:51 a.m.
euscan log

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

 * SRC_URI is 'https://hackage.haskell.org/package/Agda-2.5.2/Agda-2.5.2.tar.gz'
 * Scanning: https://hackage.haskell.org/package/Agda-${PV}/Agda-${PV}.tar.gz
 * Scanning: https://hackage.haskell.org/package
 * Generating version from 2.5.2
 * Brute forcing: https://hackage.haskell.org/package/Agda-${PV}/Agda-${PV}.tar.gz
 * Trying: https://hackage.haskell.org/package/Agda-2.5.3/Agda-2.5.3.tar.gz ...      [ ok ]