Skip to content
Snippets Groups Projects
Verified Commit 7df673b8 authored by Felix Yan's avatar Felix Yan
Browse files

upgpkg: 3.0.0-92: rebuild with data-default-instances-dlist 0.0.1.1, try 2

parent aa52806d
No related branches found
Tags 3.0.0-92
No related merge requests found
pkgbase = cryptol
pkgdesc = The Language of Cryptography
pkgver = 3.0.0
pkgrel = 91
pkgrel = 92
url = https://www.cryptol.net
arch = x86_64
license = BSD
......
......@@ -2,7 +2,7 @@
pkgname=cryptol
pkgver=3.0.0
pkgrel=91
pkgrel=92
pkgdesc="The Language of Cryptography"
url="https://www.cryptol.net"
license=("BSD")
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment