3.0.0-1 · Tags · Arch Linux / Packaging / Packages / cryptol

Due to an influx of spam, we have had to temporarily disable account registrations. Please write an email to accountsupport@archlinux.org, with your desired username, if you want to get access. Sorry for the inconvenience.

3.0.0-1 protected

Felix Yan

@felixonmars

341ec777 · upgpkg: 3.0.0-1: rebuild with cryptol 3.0.0, sbv 9.1, what4 1.4 · Oct 04, 2023

Unverified

Package release 3.0.0-1

Admin message