summaryrefslogtreecommitdiff
path: root/security/hs-cryptol/pkg-plist
blob: 3e234859dae9c130cef3ef87378267193977f611 (plain) (blame)
1
2
3
4
5
6
7
8
%%DATADIR%%/Array.cry
%%DATADIR%%/Cryptol.cry
%%DATADIR%%/Cryptol/Reference.cry
%%DATADIR%%/CryptolTC.smt2
%%DATADIR%%/Float.cry
%%DATADIR%%/PrimeEC.cry
%%DATADIR%%/SuiteB.cry
%%DATADIR%%/cry_ffi.h