Hackage :: [Package]

Metadata revisions for lambda-cube-0.1.0.0

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
-r3 (lambda-cube-0.1.0.0-r3) 2021-08-21T09:29:59Z Ailrun c041f1cf761b50c6f1c30d38ef6334f0d84dacd2a67189095ffa839724718a79

  • Changed description from 

    Haskell implementation of the following 4 lambda calculi:
1. Simply typed lambda calculus
2. System F
3. System F omega underbar
4. System F omega
    to 
    Haskell implementation of the following 4 lambda calculi:

1. Simply typed lambda calculus
2. System F
3. System F omega underbar
4. System F omega
-r2 (lambda-cube-0.1.0.0-r2) 2021-08-21T09:21:20Z Ailrun 3982f6574741b81d131bee2db2237ff7e1f623125742ab6d1c2481b330bb2b7f

  • Changed homepage from 

    https://github.com/Ailrun/LambdaCube#readme
    to 
    https://github.com/Ailrun/lambda-cube#readme

  • Changed bug-reports from 

    https://github.com/Ailrun/LambdaCube/issues
    to 
    https://github.com/Ailrun/lambda-cube/issues

  • Changed source-repository from 

    source-repository head
    type:     git
    location: https://github.com/Ailrun/LambdaCube
    to 
    source-repository head
    type:     git
    location: https://github.com/Ailrun/lambda-cube

-r1 (lambda-cube-0.1.0.0-r1) 2021-08-21T09:11:26Z Ailrun 2b3e9fa85897d04529c010efd24ee36e5d4916a14e304eb8bf078efb2673ce83

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

    >=0
    to 
    >=1.2.4.0
-r0 (lambda-cube-0.1.0.0-r0) 2021-08-21T05:55:43Z Ailrun a11097c6aca44cbfde2ed370819cd1fcdb68c261601fcb53557994fcb099b094