src_prepare-overlay/dev-lang/fstar/Manifest
Maciej Barć 137af19a89
dev-lang/fstar: new package; add version 2021.11.27 and 2021.11.30
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2021-12-09 05:51:15 +01:00

2 lines
310 B
Plaintext

DIST fstar-2021.11.27.tar.gz 8227837 BLAKE2B 91bb487830ffbff0e0b90f66b05f22411f713094d00c05cf6bd27a55121149e71b9c1c6d798c16db2c52cf05fe46b85d5df597c0eb6d4b1c926f513f2bd59df2 SHA512 3d6e8f06cd7d4396224b51787b0850a32680e9bc7d195b0b8d0ef9f64171158743e69a175c91256ce8078eb88f11d12039e4fb9913e95ba02c68becd6633bc4c