wyj/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2025-04-19 07:49:00 -04:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

sci-mathematics/frama-c-reduc: Update Manifest

Browse Source 
Signed-off-by: Yuan Liao <liaoyuan@gmail.com>
This commit is contained in:
Yuan Liao 2022-08-23 13:04:15 -07:00
parent d1ff3cc3ee
commit 05ee35a216
No known key found for this signature in database
GPG Key ID: 5A088BB1563212A9
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
sci-mathematics/frama-c-reduc/Manifest Normal file
View File

@ -0,0 +1 @@
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f