diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-11-01 03:37:42 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-11-01 03:38:07 +0100 |
| commit | 3987ee9a4bad215abd51e1e45941b049a2bcc95e (patch) | |
| tree | 32c1e86b75ceed34024d7a82c17940e55ce4ab75 /dev-lang/idris2/Manifest | |
| parent | dev-lang/idris2: bump to 0.6.0 (diff) | |
| download | gentoo-3987ee9a4bad215abd51e1e45941b049a2bcc95e.tar.gz gentoo-3987ee9a4bad215abd51e1e45941b049a2bcc95e.tar.bz2 gentoo-3987ee9a4bad215abd51e1e45941b049a2bcc95e.zip | |
dev-lang/idris2: drop old 0.5.1_p20220131-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/idris2/Manifest')
| -rw-r--r-- | dev-lang/idris2/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest index 71640087882d..ea15a073d221 100644 --- a/dev-lang/idris2/Manifest +++ b/dev-lang/idris2/Manifest @@ -1,4 +1,3 @@ -DIST idris2-0.5.1_p20220131.tar.gz 6283472 BLAKE2B 86b75457b8772d0a8938a4d3422af08fa8e625b675cc2648bc9f2683a6654586ff91b8b1d592f72a3a44c72fa830f9ebc5ae0c451398e8cb5d3fdf5070f7f8ab SHA512 50f21819dee929f847a6b64c89231da9dd55bc35314300aa7d3c3c5ea0da451caba67081ca8b2ffd89608d3aaa042e9b9a6ecb2df0585589404bae3c6a2fe74a DIST idris2-0.5.1_p20220224.tar.gz 6299027 BLAKE2B 65654d76dc4a593826904321d78246da877ae71da95d56b4ee266de9676706e899bf9a1ae4293dde077a3ea50a860501fa4c3b8065a5b8d759d785954ea7b822 SHA512 6bea9e5ce01c64a893c39e7aacceef5d4f6bfd499f0b4ca17681bea6ab11620e0058faba8bdd84eecacf3f8d1cfe2594ca830aff89f2cfde2208fdc092fc37f1 DIST idris2-0.5.1_p20220920.tar.gz 6410473 BLAKE2B 91af285cf02cb6adcad330050a4d201116f8dcfdac0021b8b9110789e7f461a54ac6ca1f1ee421a38be0ff83a780e64e5c02ee0a40fe7bc5d361b6aa551b30ad SHA512 5c006b8ecb74bd5261bcc1db94cbcf8d818b7838907916befb0c20681febe52963197b0406aef466858f37c75f3a1028e05d772dc323d172ad7a79781088304d DIST idris2-0.6.0.tar.gz 6706586 BLAKE2B 79c16120b5845047d510a6f75729f1999f5b468e27189bd806f772d07e1789622ca0182933d0ec0833f5c3af05e00f13edda2f595aa35b5d0fcb2301c5c25407 SHA512 342ab3d9e38c8150c7eec997e9cbadd4aa12ccb18994b6b008f165deb20fd5fc79f4944387316cbba03e56fa1545b0afbb277988449af5b21d20f81207f6f367 |