BSD Portssecurity/hs-cryptol 3.3.0 DragonFly
Domain-specific language for specifying cryptographic algorithms
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- BSD3CLAUSE
- Categories
- haskell, lang, security
- Package size
- 11609.6 KiB, 81682.4 KiB installed
Description
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | security/hs-cryptol | 3.3.0 |
| FreeBSD | security/hs-cryptol | 3.6.0 |
Install
Binary package:
pkg install hs-cryptolFrom DPorts:
cd /usr/dports/security/hs-cryptol && make install cleanDependencies
Run dependencies 3
No port depends on this one.