diff options
author | Gleb Popov <arrowd@FreeBSD.org> | 2022-05-18 10:13:15 +0000 |
---|---|---|
committer | Gleb Popov <arrowd@FreeBSD.org> | 2022-07-07 10:24:35 +0000 |
commit | f44c5e4b44fc3b9047b6d93a41bbc22348e9dd07 (patch) | |
tree | 3c0486763a0022a92ebfcb1e9c9374d56a727bd5 /security/hs-cryptol/pkg-plist | |
parent | 07433dd7516387c9ced91045ba59029316e1a3c0 (diff) | |
download | ports-f44c5e4b44fc3b9047b6d93a41bbc22348e9dd07.tar.gz ports-f44c5e4b44fc3b9047b6d93a41bbc22348e9dd07.zip |
Diffstat (limited to 'security/hs-cryptol/pkg-plist')
-rw-r--r-- | security/hs-cryptol/pkg-plist | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/security/hs-cryptol/pkg-plist b/security/hs-cryptol/pkg-plist new file mode 100644 index 000000000000..02dcb0ab0201 --- /dev/null +++ b/security/hs-cryptol/pkg-plist @@ -0,0 +1,7 @@ +%%DATADIR%%/Array.cry +%%DATADIR%%/Cryptol.cry +%%DATADIR%%/Cryptol/Reference.cry +%%DATADIR%%/CryptolTC.z3 +%%DATADIR%%/Float.cry +%%DATADIR%%/PrimeEC.cry +%%DATADIR%%/SuiteB.cry |