Filename | Modified | Size | Type |
---|---|---|---|
[Parent Directory] | - | - | - |
coq-reglang_1.2.1-4build8.debian.tar.xz | 20/12/24 14:1620/12/24 | 8.7 KiB | [Save][Download] |
coq-reglang_1.2.1-4build8.dsc | 20/12/24 14:1620/12/24 | 2.1 KiB | [Save][Download] |
libcoq-reglang_1.2.1-4build8_amd64.deb | 20/12/24 14:1620/12/24 | 972 KiB | [Save][Download] |
coq-reglang_1.2.1-4build5.dsc | 17/09/24 15:5117/09/24 | 2.1 KiB | [Save][Download] |
coq-reglang_1.2.1-1build5.dsc | 08/04/24 07:5708/04/24 | 2.1 KiB | [Save][Download] |
libcoq-reglang_1.2.1-1build5_amd64.deb | 08/04/24 14:3608/04/24 | 805 KiB | [Save][Download] |
coq-reglang_1.2.1.orig.tar.gz | 21/01/24 05:4521/01/24 | 67.8 KiB | [Save][Download] |
coq-reglang_1.2.1-4build5.debian.tar.xz | 17/09/24 15:5117/09/24 | 8.6 KiB | [Save][Download] |
coq-reglang_1.2.1-1build5.debian.tar.xz | 08/04/24 07:5708/04/24 | 8.6 KiB | [Save][Download] |
libcoq-reglang_1.2.1-4build5_amd64.deb | 19/09/24 23:3919/09/24 | 948 KiB | [Save][Download] |