Date: Wednesday, June 1, 2022 @ 19:22:53 Author: felixonmars Revision: 1218341
upgpkg: cryptol 2.12.0-82: rebuild with newtype-generics 0.6.2 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-06-01 19:22:43 UTC (rev 1218340) +++ PKGBUILD 2022-06-01 19:22:53 UTC (rev 1218341) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.12.0 -pkgrel=81 +pkgrel=82 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net" license=("BSD")
