![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/unknown.gif) | coq-serapi_8.19.0+0.19.3-2+b1_amd64.buildinfo | 2024-05-26 11:15 | 9.3K | |
| coq-serapi_8.19.0+0.19.3-2_amd64-source.buildinfo | 2024-05-16 13:13 | 11K | |
| coq-serapi_8.19.0+0.19.3-2_arm64.buildinfo | 2024-05-26 08:52 | 8.9K | |
| coq-serapi_8.19.0+0.19.3-2_armhf.buildinfo | 2024-05-26 08:52 | 8.8K | |
| coq-serapi_8.19.0+0.19.3-2_i386.buildinfo | 2024-05-26 08:47 | 8.8K | |
| coq-serapi_8.19.0+0.19.3-2_ppc64el.buildinfo | 2024-05-26 08:47 | 9.0K | |
| coq-serapi_8.19.0+0.19.3-2_riscv64.buildinfo | 2024-05-26 09:12 | 8.9K | |
| coq-serapi_8.19.0+0.19.3-3_amd64.buildinfo | 2024-06-18 09:16 | 8.8K | |
| coq-serapi_8.19.0+0.19.3-3_arm64.buildinfo | 2024-06-18 09:16 | 8.8K | |
| coq-serapi_8.19.0+0.19.3-3_armhf.buildinfo | 2024-06-18 09:21 | 8.7K | |
| coq-serapi_8.19.0+0.19.3-3_i386.buildinfo | 2024-06-18 09:16 | 8.7K | |
| coq-serapi_8.19.0+0.19.3-3_ppc64el.buildinfo | 2024-06-18 09:16 | 8.8K | |
| coq-serapi_8.19.0+0.19.3-3_riscv64.buildinfo | 2024-06-18 09:42 | 8.7K | |
| coq-serapi_8.19.0+0.19.3-3_source.buildinfo | 2024-06-18 09:01 | 8.7K | |
| coq-serapi_8.19.0+0.19.3-4+b1_amd64.buildinfo | 2024-08-08 18:29 | 9.5K | |
| coq-serapi_8.19.0+0.19.3-4+b1_arm64.buildinfo | 2024-08-08 18:29 | 9.5K | |
| coq-serapi_8.19.0+0.19.3-4+b1_ppc64el.buildinfo | 2024-08-08 17:53 | 9.3K | |
| coq-serapi_8.19.0+0.19.3-4+b1_riscv64.buildinfo | 2024-08-08 22:32 | 9.5K | |
| coq-serapi_8.19.0+0.19.3-4+b2_amd64.buildinfo | 2024-08-21 03:54 | 9.6K | |
| coq-serapi_8.19.0+0.19.3-4+b2_arm64.buildinfo | 2024-08-21 03:59 | 9.5K | |
| coq-serapi_8.19.0+0.19.3-4+b2_ppc64el.buildinfo | 2024-08-21 03:54 | 9.3K | |
| coq-serapi_8.19.0+0.19.3-4+b2_riscv64.buildinfo | 2024-08-21 05:46 | 9.5K | |
| coq-serapi_8.19.0+0.19.3-4+b3_ppc64el.buildinfo | 2024-08-30 15:15 | 9.7K | |
| coq-serapi_8.19.0+0.19.3-4_amd64.buildinfo | 2024-08-04 07:28 | 8.9K | |
| coq-serapi_8.19.0+0.19.3-4_arm64.buildinfo | 2024-08-04 07:23 | 8.9K | |
| coq-serapi_8.19.0+0.19.3-4_armhf.buildinfo | 2024-08-04 07:28 | 8.8K | |
| coq-serapi_8.19.0+0.19.3-4_i386.buildinfo | 2024-08-04 07:23 | 8.8K | |
| coq-serapi_8.19.0+0.19.3-4_ppc64el.buildinfo | 2024-08-04 07:23 | 8.9K | |
| coq-serapi_8.19.0+0.19.3-4_riscv64.buildinfo | 2024-08-04 07:59 | 8.9K | |
| coq-serapi_8.20.0+0.20.0-1+b1_amd64.buildinfo | 2025-01-28 17:37 | 9.6K | |
| coq-serapi_8.20.0+0.20.0-1+b1_arm64.buildinfo | 2025-01-28 22:02 | 9.6K | |
| coq-serapi_8.20.0+0.20.0-1+b1_ppc64el.buildinfo | 2025-01-28 16:34 | 9.6K | |
| coq-serapi_8.20.0+0.20.0-1+b1_riscv64.buildinfo | 2025-01-29 12:11 | 9.5K | |
| coq-serapi_8.20.0+0.20.0-1+b2_amd64.buildinfo | 2025-02-13 05:22 | 9.5K | |
| coq-serapi_8.20.0+0.20.0-1+b2_arm64.buildinfo | 2025-02-13 05:23 | 9.5K | |
| coq-serapi_8.20.0+0.20.0-1+b2_ppc64el.buildinfo | 2025-02-13 05:23 | 9.5K | |
| coq-serapi_8.20.0+0.20.0-1+b2_riscv64.buildinfo | 2025-02-13 07:56 | 9.4K | |
| coq-serapi_8.20.0+0.20.0-1+b3_amd64.buildinfo | 2025-02-19 01:17 | 9.5K | |
| coq-serapi_8.20.0+0.20.0-1+b3_arm64.buildinfo | 2025-02-19 01:22 | 9.4K | |
| coq-serapi_8.20.0+0.20.0-1+b3_ppc64el.buildinfo | 2025-02-19 01:17 | 9.5K | |
| coq-serapi_8.20.0+0.20.0-1+b3_riscv64.buildinfo | 2025-02-19 01:43 | 9.4K | |
| coq-serapi_8.20.0+0.20.0-1_amd64.buildinfo | 2024-11-20 14:21 | 9.4K | |
| coq-serapi_8.20.0+0.20.0-1_arm64.buildinfo | 2024-11-20 14:57 | 9.4K | |
| coq-serapi_8.20.0+0.20.0-1_ppc64el.buildinfo | 2024-11-20 14:57 | 9.4K | |
| coq-serapi_8.20.0+0.20.0-1_riscv64.buildinfo | 2024-11-20 16:29 | 9.3K | |
| coq-serapi_8.20.0+0.20.0-1_source.buildinfo | 2024-11-20 09:57 | 8.3K | |
|
|---|