Metadata revisions for Agda-2.6.3
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 |
| -r5 (Agda-2.6.3-r5) |
2023-10-13T05:20:33Z |
AndreasAbel |
a668ab56534bd548c682088f595939a6b8732b46b84d7e7d808af966b5d5d4ec
|
|
Changed tested-with
from ghc ==9.6.1: ghc ==9.4.4: ghc ==9.2.5: ghc ==9.0.2: ghc ==8.10.7: ghc ==8.8.4: ghc ==8.6.5: ghc ==8.4.4: ghc ==8.2.2: ghc ==8.0.2
to ghc ==9.8.1: ghc ==9.6.3: ghc ==9.4.7: ghc ==9.2.8: ghc ==9.0.2: ghc ==8.10.7: ghc ==8.8.4: ghc ==8.6.5: ghc ==8.4.4: ghc ==8.2.2: ghc ==8.0.2 Changed the library component's library dependency on 'containers'
from >=0.5.11.0 && <0.7
to >=0.5.11.0 && <0.8 Changed the library component's library dependency on 'split'
from >=0.2.0.0 && <0.2.4
to >=0.2.0.0 && <0.3 Changed the library component's library dependency on 'text'
from >=1.2.3.0 && <2.1
to >=1.2.3.0 && <2.2
|
| -r4 (Agda-2.6.3-r4) |
2023-08-04T19:06:57Z |
AndreasAbel |
908b41a77d70c723177ff6d4e2be22ef7c89d22587d4747792aac07215b1d0f5
|
|
Changed the 'custom-setup' dependency on 'Cabal'
from >=1.24.0.0 && <3.11
to >=1.24.0.0 && <3.12 Changed the 'custom-setup' dependency on 'base'
from >=4.9.0.0 && <4.19
to >=4.9.0.0 && <4.20 Changed the library component's library dependency on 'base'
from >=4.9.0.0 && <4.19
to >=4.9.0.0 && <4.20 Changed the library component's library dependency on 'deepseq'
from >=1.4.2.0 && <1.5
to >=1.4.2.0 && <1.6 Changed the executable 'agda-mode' component's library dependency on 'base'
from >=4.9.0.0 && <4.19
to >=4.9.0.0 && <4.20
|
| -r3 (Agda-2.6.3-r3) |
2023-07-12T17:43:31Z |
AndreasAbel |
4d3bdd3244aafa7e937ca6e6caef9cbaedfd2af76f6dc778a3a06a140a8c1cb6
|
|
|
| -r2 (Agda-2.6.3-r2) |
2023-06-29T10:58:18Z |
AndreasAbel |
7979e244ee659b9663305b5c545cff090f2309ed08d3e4ea3e7120579b8f047e
|
|
|
| -r1 (Agda-2.6.3-r1) |
2023-03-15T23:38:55Z |
AndreasAbel |
4c9895292531e7e9a15f087dec2fe45ecf63d455f253374c1241c53409d20dd0
|
|
Changed tested-with
from ghc ==8.0.2: ghc ==8.2.2: ghc ==8.4.4: ghc ==8.6.5: ghc ==8.8.4: ghc ==8.10.7: ghc ==9.0.2: ghc ==9.2.5: ghc ==9.4.4
to ghc ==9.6.1: ghc ==9.4.4: ghc ==9.2.5: ghc ==9.0.2: ghc ==8.10.7: ghc ==8.8.4: ghc ==8.6.5: ghc ==8.4.4: ghc ==8.2.2: ghc ==8.0.2 Changed the 'custom-setup' dependency on 'Cabal'
from >=1.24.0.0 && <3.9
to >=1.24.0.0 && <3.11 Changed the 'custom-setup' dependency on 'base'
from >=4.9.0.0 && <4.18
to >=4.9.0.0 && <4.19 Changed the library component's library dependency on 'base'
from >=4.9.0.0 && <4.18
to >=4.9.0.0 && <4.19 Changed the library component's library dependency on 'strict'
from >=0.4.0.1 && <0.5
to >=0.4.0.1 && <0.6 Changed the library component's library dependency on 'Win32'
from >=2.3.1.1 && <2.13
to >=2.3.1.1 && <2.14 Changed the executable 'agda-mode' component's library dependency on 'base'
from >=4.9.0.0 && <4.18
to >=4.9.0.0 && <4.19
|
| -r0 (Agda-2.6.3-r0) |
2023-01-30T11:50:55Z |
AndresSicardRamirez |
c2838623f97935099a46eec0d6e192d6c5b856fe521105de505b4210d48c7600
|
|
|