Linux repositories inspector

cryptol - domain-specific language of cryptography

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.
2.7.0
Arch iconArch rolling
2.6.0
Debian iconDebian 10.0
Manjaro iconManjaro rolling
Ubuntu iconUbuntu 19.04
Ubuntu iconUbuntu 19.10
2.5.0
Ubuntu iconUbuntu 18.10
2.4.0
Debian iconDebian 9.0
Ubuntu iconUbuntu 17.10
Ubuntu iconUbuntu 18.04 LTS
2.2.6
Ubuntu iconUbuntu 16.04 LTS
DistributionVersionSincePackageInstalledPackager
Arch iconArch rolling community/osxz2.7.0-180 - 13:362.38 MiB18.7 MiB
Debian iconDebian 10.0 buster/maindeb2.6.0-3+b1Jan 122.31 MiB15.5 MiB
Debian iconDebian 9.0 stretch/maindeb2.4.0-2+b12017-11-102.46 MiB17.1 MiB
Manjaro iconManjaro rolling stable/communityxz2.6.0-90Apr 032.44 MiB19 MiB
Manjaro iconManjaro rolling testing/communityxz2.6.0-92Apr 052.45 MiB19 MiB
Manjaro iconManjaro rolling unstable/communityxz2.6.0-92Apr 052.45 MiB19 MiB
Ubuntu iconUbuntu 17.10 artful/universedeb2.4.0-2build62017-11-102.11 MiB14.4 MiB
Ubuntu iconUbuntu 18.04 LTS bionic/universedeb2.4.0-32017-11-222.12 MiB14.4 MiB
Ubuntu iconUbuntu 18.10 cosmic/universedeb2.5.0-1build4Jan 142.53 MiB17.8 MiB
Ubuntu iconUbuntu 19.04 disco/universedeb2.6.0-3build1Mar 102.31 MiB15.5 MiB
Ubuntu iconUbuntu 19.10 eoan/universedeb2.6.0-3build1Jun 172.31 MiB15.5 MiB
Ubuntu iconUbuntu 16.04 LTS xenial/universedeb2.2.6-1build12017-11-101.79 MiB12.4 MiB

Latest updates

Arch rolling icon

Arch rolling community-staging/os: Version 2.7.0-18 removed

0 - 13:36
Arch rolling icon

Arch rolling community/os: Updated from 2.7.0-17 to 2.7.0-18

0 - 13:36
Arch rolling icon

Arch rolling community-staging/os: Version 2.7.0-18 introduced

0 - 09:26
Arch rolling icon

Arch rolling community-staging/os: Version 2.7.0-17 removed

0 - 13:09
Arch rolling icon

Arch rolling community/os: Updated from 2.7.0-16 to 2.7.0-17

0 - 13:09
Arch rolling icon

Arch rolling community-staging/os: Version 2.7.0-17 introduced

Jul 01
Arch rolling icon

Arch rolling community-staging/os: Version 2.7.0-16 removed

Jun 30
Arch rolling icon

Arch rolling community/os: Updated from 2.7.0-15 to 2.7.0-16

Jun 30
Arch rolling icon

Arch rolling community-staging/os: Version 2.7.0-16 introduced

Jun 30
Arch rolling icon

Arch rolling community-staging/os: Version 2.7.0-15 removed

Jun 28
Arch rolling icon

Arch rolling community/os: Updated from 2.7.0-14 to 2.7.0-15

Jun 28
Arch rolling icon

Arch rolling community-staging/os: Version 2.7.0-15 introduced

Jun 28
Arch rolling icon

Arch rolling community-staging/os: Version 2.7.0-14 removed

Jun 26
Arch rolling icon

Arch rolling community/os: Updated from 2.7.0-13 to 2.7.0-14

Jun 26
Arch rolling icon

Arch rolling community-staging/os: Version 2.7.0-14 introduced

Jun 26
Arch rolling icon

Arch rolling community-staging/os: Version 2.7.0-13 removed

Jun 23
Arch rolling icon

Arch rolling community/os: Updated from 2.7.0-12 to 2.7.0-13

Jun 23
Arch rolling icon

Arch rolling community-staging/os: Version 2.7.0-13 introduced

Jun 23
Ubuntu 19.10 icon

Ubuntu 19.10 eoan/universe: Version 2.6.0-3build1 reintroduced

Jun 20
  • Rebuild against new GHC abi.
Ubuntu 19.10 icon

Ubuntu 19.10 eoan/universe: Version 2.6.0-3build1 removed

Jun 20
⇧ Top