11 lines
177 B
Text
11 lines
177 B
Text
(library
|
|
(name CoqSSH)
|
|
(package CoqSSH))
|
|
|
|
(coq.extraction
|
|
(prelude SSH)
|
|
(extracted_modules SSH))
|
|
|
|
(coq.extraction
|
|
(prelude CryptoPrims)
|
|
(extracted_modules CryptoPrims))
|