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

Queue position: None

sci-mathematics/agda-stdlib

Description
Agda standard library
Homepage
http://wiki.portal.chalmers.se/agda/
Maintainers

Gentoo Haskell <haskell@gentoo.org>

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

Q&A
Version history
  • gentoo - sci-mathematics/agda-stdlib-2.5.2.0.13 [gentoo] - July 7, 2017, 5:06 a.m.
  • gentoo - sci-mathematics/agda-stdlib-2.4.2.5 [gentoo] - July 7, 2017, 5:04 a.m.
  • upstream - sci-mathematics/agda-stdlib-2.4.2.6 [<upstream>] - Feb. 18, 2017, 12:58 a.m.
  • gentoo + sci-mathematics/agda-stdlib-2.5.2.0.13 [gentoo] - Feb. 17, 2017, 4:05 a.m.
  • gentoo - sci-mathematics/agda-stdlib-2.4.2.3 [gentoo] - April 4, 2016, 5:05 a.m.
  • gentoo - sci-mathematics/agda-stdlib-0.9 [gentoo] - April 4, 2016, 5:05 a.m.
  • gentoo - sci-mathematics/agda-stdlib-0.8 [gentoo] - April 4, 2016, 5:05 a.m.
  • upstream - sci-mathematics/agda-stdlib-2.4.2.4 [<upstream>] - Jan. 19, 2016, 5:54 a.m.
  • upstream + sci-mathematics/agda-stdlib-2.4.2.6 [<upstream>] - Jan. 18, 2016, 11:41 p.m.
  • gentoo + sci-mathematics/agda-stdlib-2.4.2.5 [gentoo] - Jan. 15, 2016, 4:05 a.m.
  • upstream + sci-mathematics/agda-stdlib-2.4.2.4 [<upstream>] - Aug. 3, 2015, 7:19 p.m.
  • gentoo - sci-mathematics/agda-stdlib-0.7-r1 [gentoo] - Aug. 3, 2015, 5:06 a.m.
  • gentoo - sci-mathematics/agda-stdlib-0.7 [gentoo] - Aug. 3, 2015, 5:06 a.m.
  • gentoo + sci-mathematics/agda-stdlib-2.4.2.3 [gentoo] - Aug. 3, 2015, 5:05 a.m.
  • gentoo - sci-mathematics/agda-stdlib-0.6 [gentoo] - Feb. 2, 2015, 4:06 a.m.
  • gentoo + sci-mathematics/agda-stdlib-0.9 [gentoo] - Dec. 15, 2014, 4:05 a.m.
  • gentoo + sci-mathematics/agda-stdlib-0.8 [gentoo] - July 4, 2014, 5:07 a.m.
  • gentoo + sci-mathematics/agda-stdlib-0.7-r1 [gentoo] - April 30, 2014, 7:51 a.m.
  • gentoo + sci-mathematics/agda-stdlib-0.7 [gentoo] - April 30, 2014, 7:51 a.m.
  • gentoo + sci-mathematics/agda-stdlib-0.6 [gentoo] - April 30, 2014, 7:51 a.m.
euscan log

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

 * SRC_URI is 'https://github.com/agda/agda-stdlib/archive/v0.13.tar.gz'
 * Url doesn't seems to depend on version: 2.5.2.0.13 not found in https://github.com/agda/agda-stdlib/archive/v0.13.tar.gz