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-42Yesterday2.39 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-4Sep 092.27 MiB14.9 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-42 removed

Yesterday
Arch rolling icon

Arch rolling community/os: Updated from 2.7.0-41 to 2.7.0-42

Yesterday
Arch rolling icon

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

Yesterday
Arch rolling icon

Arch rolling community/os: Updated from 2.7.0-40 to 2.7.0-41

0 - 22:21
Arch rolling icon

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

0 - 21:03
Arch rolling icon

Arch rolling community/os: Updated from 2.7.0-39 to 2.7.0-40

0 - 21:03
Arch rolling icon

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

0 - 17:02
Ubuntu 19.10 icon

Ubuntu 19.10 eoan/universe: Version 2.6.0-4 reintroduced

0 - 11:50
Ubuntu 19.10 icon

Ubuntu 19.10 eoan/universe: Version 2.6.0-4 removed

0 - 11:03
Ubuntu 19.10 icon

Ubuntu 19.10 eoan/universe: Version 2.6.0-4 reintroduced

0 - 09:22
Ubuntu 19.10 icon

Ubuntu 19.10 eoan/universe: Version 2.6.0-4 removed

0 - 09:14
Arch rolling icon

Arch rolling community/os: Updated from 2.7.0-38 to 2.7.0-39

Oct 08
Arch rolling icon

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

Oct 06
Arch rolling icon

Arch rolling community/os: Updated from 2.7.0-37 to 2.7.0-38

Oct 06
Arch rolling icon

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

Oct 06
Ubuntu 19.10 icon

Ubuntu 19.10 eoan/universe: Version 2.6.0-4 reintroduced

Sep 25
Ubuntu 19.10 icon

Ubuntu 19.10 eoan/universe: Version 2.6.0-4 removed

Sep 25
Ubuntu 19.10 icon

Ubuntu 19.10 eoan/universe: Version 2.6.0-4 reintroduced

Sep 25
Ubuntu 19.10 icon

Ubuntu 19.10 eoan/universe: Version 2.6.0-4 removed

Sep 25
Arch rolling icon

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

Sep 13
⇧ Top