Linked packages
Packages by project series
Packages by distribution
Ubuntu
| Distribution series | Source package | Version | Project series |
|---|---|---|---|
| Lucid (10.04) | easycrypt | EasyCrypt trunk series | |
| Maverick (10.10) | easycrypt | EasyCrypt trunk series | |
| Maverick (10.10) | ubuntu-restricted-extras | EasyCrypt trunk series | |
| Natty (11.04) | easycrypt | EasyCrypt trunk series | |
| Oneiric (11.10) | easycrypt | EasyCrypt trunk series | |
| Precise (12.04) | easycrypt | EasyCrypt trunk series | |
| Quantal (12.10) | easycrypt | EasyCrypt trunk series | |
| Raring (13.04) | easycrypt | EasyCrypt trunk series | |
| Saucy (13.10) | easycrypt | EasyCrypt trunk series | |
| Trusty (14.04) | easycrypt | EasyCrypt trunk series | |
| Utopic (14.10) | easycrypt | EasyCrypt trunk series | |
| Vivid (15.04) | easycrypt | EasyCrypt trunk series | |
| Wily (15.10) | easycrypt | EasyCrypt trunk series | |
| Xenial (16.04) | easycrypt | EasyCrypt trunk series | |
| Yakkety (16.10) | easycrypt | EasyCrypt trunk series | |
| Zesty (17.04) | easycrypt | EasyCrypt trunk series | |
| Artful (17.10) | easycrypt | EasyCrypt trunk series | |
| Bionic (18.04) | easycrypt | EasyCrypt trunk series | |
| Cosmic (18.10) | easycrypt | EasyCrypt trunk series | |
| Disco (19.04) | easycrypt | EasyCrypt trunk series | |
| Eoan (19.10) | easycrypt | EasyCrypt trunk series | |
| Focal (20.04) | easycrypt | EasyCrypt trunk series | |
| Groovy (20.10) | easycrypt | EasyCrypt trunk series | |
| Hirsute (21.04) | easycrypt | EasyCrypt trunk series | |
| Impish (21.10) | easycrypt | EasyCrypt trunk series | |
| Jammy (22.04) | easycrypt | EasyCrypt trunk series | |
| Kinetic (22.10) | easycrypt | EasyCrypt trunk series | |
| Lunar (23.04) | easycrypt | EasyCrypt trunk series | |
| Mantic (23.10) | easycrypt | EasyCrypt trunk series | |
| Noble (24.04) | easycrypt | EasyCrypt trunk series | |
| Oracular (24.10) | easycrypt | EasyCrypt trunk series | |
| Hardy (8.04) | easycrypt | EasyCrypt trunk series | |
| Intrepid (8.10) | easycrypt | EasyCrypt trunk series | |
| Jaunty (9.04) | easycrypt | EasyCrypt trunk series | |
| Karmic (9.10) | easycrypt | EasyCrypt trunk series |
Bilimbi Test
| Distribution series | Source package | Version | Project series |
|---|---|---|---|
| Angry Aardvark (1.0) | easycrypt | EasyCrypt trunk series |
Debian
| Distribution series | Source package | Version | Project series |
|---|---|---|---|
| Stretch (9.0) | easycrypt | EasyCrypt trunk series |
Ubuntu Linaro Evaluation Build
| Distribution series | Source package | Version | Project series |
|---|---|---|---|
| Oneiric based series for Ubuntu LEB (12.04) | easycrypt | EasyCrypt trunk series |
