Filename | Modification time | Size |
---|---|---|
coqeal_1.1.1-3build3.debian.tar.xz | 2256 B | |
coqeal_1.1.1-3build3.dsc | 2157 B | |
coqeal_1.1.1.orig.tar.gz | 214 KiB | |
coqeal_1.1.3-1build1.debian.tar.xz | 2296 B | |
coqeal_1.1.3-1build1.dsc | 2178 B | |
coqeal_1.1.3.orig.tar.gz | 213 KiB | |
coqeal_2.0.1-1build5.debian.tar.xz | 2560 B | |
coqeal_2.0.1-1build5.dsc | 2249 B | |
coqeal_2.0.1.orig.tar.gz | 212 KiB | |
coqeal_2.0.2-1build2.debian.tar.xz | 2404 B | |
coqeal_2.0.2-1build2.dsc | 2170 B | |
coqeal_2.0.2.orig.tar.gz | 212 KiB | |
libcoq-coqeal_1.1.1-3build3_amd64.deb | 5185 KiB | |
libcoq-coqeal_1.1.3-1build1_amd64.deb | 5166 KiB | |
libcoq-coqeal_2.0.1-1build5_amd64.deb | 5382 KiB | |
libcoq-coqeal_2.0.2-1build2_amd64.deb | 5890 KiB |