| / | | |
| coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb | 31,048,764 | Sun, 15 Jun 2025 01:53:14 +0000 |
| coq-serapi_8.20.0+0.20.0-1+b4_arm64.deb | 36,062,824 | Sun, 15 Jun 2025 05:38:06 +0000 |
| coq-serapi_8.20.0+0.20.0-1+b4_ppc64el.deb | 31,011,444 | Sun, 15 Jun 2025 06:18:28 +0000 |
| coq-serapi_8.20.0+0.20.0-1+b4_riscv64.deb | 32,209,380 | Sun, 15 Jun 2025 06:23:32 +0000 |
| coq-serapi_8.20.0+0.20.0-1.debian.tar.xz | 9,080 | Wed, 20 Nov 2024 09:57:49 +0000 |
| coq-serapi_8.20.0+0.20.0-1.dsc | 2,490 | Wed, 20 Nov 2024 09:57:49 +0000 |
| coq-serapi_8.20.0+0.20.0.orig.tar.gz | 182,481 | Wed, 20 Nov 2024 09:57:49 +0000 |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd64.deb | 17,397,424 | Sun, 15 Jun 2025 01:53:14 +0000 |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_arm64.deb | 17,578,704 | Sun, 15 Jun 2025 05:38:06 +0000 |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_ppc64el.deb | 17,769,068 | Sun, 15 Jun 2025 06:18:28 +0000 |
| libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_riscv64.deb | 19,338,184 | Sun, 15 Jun 2025 06:23:32 +0000 |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb | 6,398,840 | Sun, 15 Jun 2025 01:53:14 +0000 |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_arm64.deb | 6,654,580 | Sun, 15 Jun 2025 05:38:06 +0000 |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_ppc64el.deb | 6,420,156 | Sun, 15 Jun 2025 06:18:28 +0000 |
| libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_riscv64.deb | 6,614,336 | Sun, 15 Jun 2025 06:23:32 +0000 |