Filename | Modified | Size | Type |
---|---|---|---|
[Parent Directory] | - | - | - |
coqeal_2.0.3-1build1.debian.tar.xz | 20/12/24 23:5120/12/24 | 2.4 KiB | [Save][Download] |
libcoq-coqeal_2.0.3-1build1_amd64.deb | 21/12/24 00:5721/12/24 | 6 MiB | [Save][Download] |
coqeal_2.0.3.orig.tar.gz | 18/12/24 23:4118/12/24 | 212 KiB | [Save][Download] |
coqeal_2.0.3-1build1.dsc | 20/12/24 23:5120/12/24 | 2.1 KiB | [Save][Download] |
coqeal_2.0.1-1build5.debian.tar.xz | 08/04/24 07:5708/04/24 | 2.5 KiB | [Save][Download] |
coqeal_2.0.1-1build5.dsc | 08/04/24 07:5708/04/24 | 2.2 KiB | [Save][Download] |
coqeal_2.0.2.orig.tar.gz | 03/05/24 01:5503/05/24 | 212 KiB | [Save][Download] |
coqeal_2.0.2-2build5.debian.tar.xz | 17/09/24 16:5617/09/24 | 2.5 KiB | [Save][Download] |
coqeal_2.0.1.orig.tar.gz | 21/01/24 05:4521/01/24 | 212 KiB | [Save][Download] |
libcoq-coqeal_2.0.1-1build5_amd64.deb | 09/04/24 07:4209/04/24 | 5.3 MiB | [Save][Download] |
coqeal_2.0.2-2build5.dsc | 17/09/24 16:5617/09/24 | 2.1 KiB | [Save][Download] |
libcoq-coqeal_2.0.2-2build5_amd64.deb | 20/09/24 04:1520/09/24 | 5.7 MiB | [Save][Download] |