diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2020-10-08 19:22:38 +0100 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2020-10-08 19:22:38 +0100 |
| commit | 5f3bacb87367edb140d02e00fec2fc6214207356 (patch) | |
| tree | 5439fbab70b71a848cf1ee519e16a8a3634469d3 /sci-mathematics/agda-stdlib/Manifest | |
| parent | sci-mathematics/agda: drop old (diff) | |
| download | gentoo-5f3bacb87367edb140d02e00fec2fc6214207356.tar.gz gentoo-5f3bacb87367edb140d02e00fec2fc6214207356.tar.bz2 gentoo-5f3bacb87367edb140d02e00fec2fc6214207356.zip | |
sci-mathematics/agda-stdlib: drop old
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
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 |