Hackage :: [Package]

Metadata revisions for Agda-2.4.2

Package maintainers and Hackage trustees are allowed to edit certain bits of package metadata after a release, without uploading a new tarball. Note that the tarball itself is never changed, just the metadata that is stored separately. For more information about metadata revisions, please refer to the Hackage Metadata Revisions FAQ.

No. Time User SHA256
-r2 (Agda-2.4.2-r2) 2014-09-09T17:02:20Z AndreasAbel d16afa22010a00b7e820997541dc4d4ab8b045757f7a2445c52d0b713e896cdb

  • Changed the library component's library dependency on 'text' from 

    >=0.11 && <1.2
    to 
    >=0.11 && <1.3
-r1 (Agda-2.4.2-r1) 2014-09-07T14:16:07Z AndreasAbel 3126c771729d1b714303db68aba7901d917bb59a66160bcdfffd27e04f350c3e

  • Changed author from 

    Ulf Norell, Andreas Abel, Nils Anders Danielsson, Makoto Takeyama, Catarina Coquand, with contributions by Stevan Andjelkovic, Marcin Benke, Jean-Philippe Bernardy, James Chapman, Jesper Cockx, Dominique Devriese, Peter Divanski, Fredrik Nordvall Forsberg, Olle Fredriksson, Daniel Gustafsson, Patrik Jansson, Alan Jeffrey, Wolfram Kahl, Fredrik Lindblad, Francesco Mazzoli, Stefan Monnier, Darin Morrison, Guilhem Moulin, Nicolas Pouillard, Andrés Sicard-Ramírez, Andrea Vezzosi and many more.
    to 
    Ulf Norell, Andreas Abel, Nils Anders Danielsson, Makoto Takeyama, Catarina Coquand, with contributions by Stevan Andjelkovic, Marcin Benke, Jean-Philippe Bernardy, James Chapman, Jesper Cockx, Dominique Devriese, Peter Divanski, Fredrik Nordvall Forsberg, Olle Fredriksson, Daniel Gustafsson, Patrik Jansson, Alan Jeffrey, Wolfram Kahl, Fredrik Lindblad, Francesco Mazzoli, Stefan Monnier, Darin Morrison, Guilhem Moulin, Nicolas Pouillard, Andres Sicard-Ramirez, Andrea Vezzosi and many more.

  • Changed the library component's library dependency on 'mtl' from 

    >=2.1.1 && <2.2
    to 
    >=2.1.1 && <2.3

  • Changed the library component's library dependency on 'transformers' from 

    >=0.3 && <0.4
    to 
    >=0.3 && <0.5
-r0 (Agda-2.4.2-r0) 2014-08-29T07:52:35Z UlfNorell de1799159494ce52976e27e18df510ada9e01dfcdcf7cc6ab7b6b1da7a27f7f1