diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-12-27 01:20:47 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-12-27 02:20:42 +0100 |
| commit | 0f91c770efc10cdaf14d527316b247b1a5e4d26b (patch) | |
| tree | ba0e3b2ba3805c45b52c44a3115b7cfcfddf7728 /dev-lang/idris2/Manifest | |
| parent | app-emacs/osm: bump to 1.1 (diff) | |
| download | gentoo-0f91c770efc10cdaf14d527316b247b1a5e4d26b.tar.gz gentoo-0f91c770efc10cdaf14d527316b247b1a5e4d26b.tar.bz2 gentoo-0f91c770efc10cdaf14d527316b247b1a5e4d26b.zip | |
dev-lang/idris2: bump to 0.7.0
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, 1 insertions, 0 deletions
diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest index 6ff24ff105e3..02ee2eb10e82 100644 --- a/dev-lang/idris2/Manifest +++ b/dev-lang/idris2/Manifest @@ -1 +1,2 @@ DIST idris2-0.6.0.tar.gz 6706586 BLAKE2B 79c16120b5845047d510a6f75729f1999f5b468e27189bd806f772d07e1789622ca0182933d0ec0833f5c3af05e00f13edda2f595aa35b5d0fcb2301c5c25407 SHA512 342ab3d9e38c8150c7eec997e9cbadd4aa12ccb18994b6b008f165deb20fd5fc79f4944387316cbba03e56fa1545b0afbb277988449af5b21d20f81207f6f367 +DIST idris2-0.7.0.tar.gz 6987849 BLAKE2B 5a3df7eb4541830822c92bc76e616266e9535c7fe989e78db4477c724d25720ec46bb21625ab9c0541da52fbacc0b1f7d49c3316191f88b553ec8a4f8d22892c SHA512 3c645807d71ecf62bc66b674438ebf80ec6e7e4bbf473d86ec06bc7b59f8187618e0d56535380079837e15caebef02deba9beb3eb3c77da787befac88d7a6d2b |