diff options
Diffstat (limited to 'sci-mathematics/agda-stdlib/Manifest')
| -rw-r--r-- | sci-mathematics/agda-stdlib/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest index 3b6c51e561f7..4279dcb29b8e 100644 --- a/sci-mathematics/agda-stdlib/Manifest +++ b/sci-mathematics/agda-stdlib/Manifest @@ -1,2 +1 @@ -DIST agda-stdlib-2.4.2.5.tar.gz 253379 BLAKE2B c635040892bf940057bacf35f85fa6b7e3b49d1877ca7310933c27312b37566f3df077ad021d34e7855daa1e23b2495df82fe288e8416a11f630beeb313ca027 SHA512 b15ed5838916240c8602fe7a4bccddf43c71ab3a18ecb5a6dc85199b908e261b04cf794a4d93c90af0a9263a36603c392280639ace7fecead0c39269c2623302 DIST agda-stdlib-2.5.2.0.13.tar.gz 264701 BLAKE2B f35b419aac1b80af86217a86fb8e21a2f3427ef9629c8f2e284036859cd89da16ce1b64ceb87f8a3030b5bdb2a68b4f59f74a717fc1e13378ecb20cc6b28f59c SHA512 340a7b9cb15793cdbe99f558a32eaab3476b94b4d43d45bdc92c6b368197d075c977fd2f6ce0c5b0baf584289a2218b07dd030ad2b83f6d9e4bc7effee91eece |