scimathematics/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 <scimathematics@gentoo.org>
 Q&A
 Upstream versions

 2.5.3  https://hackage.haskell.org/package/Agda2.5.3/Agda2.5.3.tar.gz (brute_force  60%)
 Version history

  scimathematics/agda2.5.4 [<upstream>]  June 27, 2019, 5:27 a.m.
 + scimathematics/agda2.5.3 [<upstream>]  June 27, 2019, 5:27 a.m.
  scimathematics/agda2.5.3 [<upstream>]  June 25, 2019, 4:56 a.m.
 + scimathematics/agda2.5.4 [<upstream>]  June 25, 2019, 4:56 a.m.
  scimathematics/agda2.5.4 [<upstream>]  March 26, 2019, 5:38 a.m.
 + scimathematics/agda2.5.3 [<upstream>]  March 26, 2019, 5:38 a.m.
  scimathematics/agda2.5.3 [<upstream>]  March 23, 2019, 4:36 a.m.
 + scimathematics/agda2.5.4 [<upstream>]  March 23, 2019, 4:36 a.m.
  scimathematics/agda2.5.4 [<upstream>]  Jan. 29, 2019, 1:58 a.m.
 + scimathematics/agda2.5.3 [<upstream>]  Jan. 29, 2019, 1:58 a.m.
  scimathematics/agda2.5.3 [<upstream>]  Jan. 26, 2019, 3:36 a.m.
 + scimathematics/agda2.5.4 [<upstream>]  Jan. 26, 2019, 3:36 a.m.
 + scimathematics/agda2.5.3 [<upstream>]  Dec. 11, 2018, 4:54 a.m.
  scimathematics/agda2.5.3 [<upstream>]  Dec. 8, 2018, 5:05 a.m.
  scimathematics/agda2.5.4 [<upstream>]  Oct. 23, 2018, 6:02 a.m.
 + scimathematics/agda2.5.3 [<upstream>]  Oct. 23, 2018, 6:02 a.m.
  scimathematics/agda2.5.3 [<upstream>]  Oct. 20, 2018, 4:36 a.m.
 + scimathematics/agda2.5.4 [<upstream>]  Oct. 20, 2018, 4:36 a.m.
 + scimathematics/agda2.5.3 [<upstream>]  Oct. 13, 2018, 5:17 a.m.
  scimathematics/agda2.5.3 [<upstream>]  Oct. 11, 2018, 5:21 a.m.
 + scimathematics/agda2.5.3 [<upstream>]  Sept. 9, 2017, 5:29 a.m.
  scimathematics/agda2.5.2r1:0/2.5.2 [gentoo]  July 7, 2017, 5:06 a.m.
  scimathematics/agda2.4.2.5r2:0/2.4.2.5 [gentoo]  July 7, 2017, 5:05 a.m.
 + scimathematics/agda2.5.2r1:0/2.5.2 [gentoo]  Feb. 17, 2017, 4:05 a.m.
  scimathematics/agda2.4.2.5r1:0/2.4.2.5 [gentoo]  April 25, 2016, 5:05 a.m.
  scimathematics/agda2.4.2.5:0/2.4.2.5 [gentoo]  April 25, 2016, 5:05 a.m.
  scimathematics/agda2.4.2.3r3:0/2.4.2.3 [gentoo]  April 4, 2016, 5:05 a.m.
  scimathematics/agda2.4.2.3r1:0/2.4.2.3 [gentoo]  April 4, 2016, 5:05 a.m.
  scimathematics/agda2.4.2.3r2:0/2.4.2.3 [gentoo]  April 4, 2016, 5:05 a.m.
  scimathematics/agda2.4.2.2r1:0/2.4.2.2 [gentoo]  April 4, 2016, 5:05 a.m.
  scimathematics/agda2.4.0.1:0/2.4.0.1 [gentoo]  April 4, 2016, 5:05 a.m.
 + scimathematics/agda2.4.2.5r2:0/2.4.2.5 [gentoo]  April 4, 2016, 5:05 a.m.
 + scimathematics/agda2.4.2.5r1:0/2.4.2.5 [gentoo]  Feb. 10, 2016, 4:06 a.m.
  scimathematics/agda2.4.2.4 [<upstream>]  Jan. 19, 2016, 5:54 a.m.
 + scimathematics/agda2.4.2.5:0/2.4.2.5 [gentoo]  Jan. 15, 2016, 4:05 a.m.
 + scimathematics/agda2.4.2.3r3:0/2.4.2.3 [gentoo]  Jan. 15, 2016, 4:05 a.m.
 + scimathematics/agda2.4.2.4 [<upstream>]  Sept. 28, 2015, 11:37 p.m.
 + scimathematics/agda2.4.2.3r2:0/2.4.2.3 [gentoo]  Sept. 28, 2015, 5:05 a.m.
  scimathematics/agda2.4.2.3 [<upstream>]  Aug. 4, 2015, 1:57 a.m.
  scimathematics/agda2.3.2.1r1:0/2.3.2.1 [gentoo]  Aug. 3, 2015, 5:06 a.m.
  scimathematics/agda2.3.2r5:0/2.3.2 [gentoo]  Aug. 3, 2015, 5:06 a.m.
  scimathematics/agda2.3.2.2r1:0/2.3.2.2 [gentoo]  Aug. 3, 2015, 5:06 a.m.
 + scimathematics/agda2.4.2.3r1:0/2.4.2.3 [gentoo]  Aug. 3, 2015, 5:05 a.m.
 + scimathematics/agda2.4.2.3 [<upstream>]  May 25, 2015, 9:15 p.m.
  scimathematics/agda2.3.2r2:0/2.3.2 [gentoo]  Jan. 30, 2015, 4:06 a.m.
  scimathematics/agda2.3.2:0/2.3.2 [gentoo]  Jan. 30, 2015, 4:06 a.m.
  scimathematics/agda2.3.0.1r1:0/2.3.0.1 [gentoo]  Jan. 30, 2015, 4:06 a.m.
  scimathematics/agda2.3.0.1 [gentoo]  Jan. 30, 2015, 4:06 a.m.
  scimathematics/agda2.4.0.2 [<upstream>]  Dec. 16, 2014, 12:35 a.m.
 + scimathematics/agda2.4.2.2r1:0/2.4.2.2 [gentoo]  Dec. 15, 2014, 4:05 a.m.
 + scimathematics/agda2.4.0.2 [<upstream>]  Sept. 29, 2014, 8:39 p.m.
  scimathematics/agda2.4.0.2 [<upstream>]  Sept. 27, 2014, 2:26 a.m.
 + scimathematics/agda2.4.0.2 [<upstream>]  July 30, 2014, 8:48 p.m.
 + scimathematics/agda2.4.0.1:0/2.4.0.1 [gentoo]  July 4, 2014, 5:07 a.m.
 + scimathematics/agda2.3.2.2r1:0/2.3.2.2 [gentoo]  April 30, 2014, 7:51 a.m.
 + scimathematics/agda2.3.2.1r1:0/2.3.2.1 [gentoo]  April 30, 2014, 7:51 a.m.
 + scimathematics/agda2.3.2r5:0/2.3.2 [gentoo]  April 30, 2014, 7:51 a.m.
 + scimathematics/agda2.3.2r2:0/2.3.2 [gentoo]  April 30, 2014, 7:51 a.m.
 + scimathematics/agda2.3.2:0/2.3.2 [gentoo]  April 30, 2014, 7:51 a.m.
 + scimathematics/agda2.3.0.1r1:0/2.3.0.1 [gentoo]  April 30, 2014, 7:51 a.m.
 + scimathematics/agda2.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/Agda2.5.2/Agda2.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/Agda2.5.3/Agda2.5.3.tar.gz ... [ ok ]