Index of /buildinfo-pool/c/coq-serapi
Name
Last modified
Size
Description
Parent Directory
-
coq-serapi_8.20.0+0.20.0-1_source.buildinfo
2024-11-20 09:57
8.3K
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_ppc64el.buildinfo
2024-11-20 14:57
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_amd64.buildinfo
2024-11-20 14:21
9.4K
coq-serapi_8.19.0+0.19.3-4_riscv64.buildinfo
2024-08-04 07:59
8.9K
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_i386.buildinfo
2024-08-04 07:23
8.8K
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_arm64.buildinfo
2024-08-04 07:23
8.9K
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+b3_ppc64el.buildinfo
2024-08-30 15:15
9.7K
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+b2_ppc64el.buildinfo
2024-08-21 03:54
9.3K
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_amd64.buildinfo
2024-08-21 03:54
9.6K
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+b1_ppc64el.buildinfo
2024-08-08 17:53
9.3K
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_amd64.buildinfo
2024-08-08 18:29
9.5K
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-3_riscv64.buildinfo
2024-06-18 09:42
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_i386.buildinfo
2024-06-18 09:16
8.7K
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_arm64.buildinfo
2024-06-18 09:16
8.8K
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-2_riscv64.buildinfo
2024-05-26 09:12
8.9K
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_i386.buildinfo
2024-05-26 08:47
8.8K
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_arm64.buildinfo
2024-05-26 08:52
8.9K
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+b1_amd64.buildinfo
2024-05-26 11:15
9.3K
Apache/2.4.62 (Debian) Server at buildinfos.debian.net Port 443