Index of /buildinfo-pool/c/coq-serapi

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-serapi_8.19.0+0.19.3-2+b1_amd64.buildinfo2024-05-26 11:15 9.3K 
[ ]coq-serapi_8.19.0+0.19.3-2_amd64-source.buildinfo2024-05-16 13:13 11K 
[ ]coq-serapi_8.19.0+0.19.3-2_arm64.buildinfo2024-05-26 08:52 8.9K 
[ ]coq-serapi_8.19.0+0.19.3-2_armhf.buildinfo2024-05-26 08:52 8.8K 
[ ]coq-serapi_8.19.0+0.19.3-2_i386.buildinfo2024-05-26 08:47 8.8K 
[ ]coq-serapi_8.19.0+0.19.3-2_ppc64el.buildinfo2024-05-26 08:47 9.0K 
[ ]coq-serapi_8.19.0+0.19.3-2_riscv64.buildinfo2024-05-26 09:12 8.9K 
[ ]coq-serapi_8.19.0+0.19.3-3_amd64.buildinfo2024-06-18 09:16 8.8K 
[ ]coq-serapi_8.19.0+0.19.3-3_arm64.buildinfo2024-06-18 09:16 8.8K 
[ ]coq-serapi_8.19.0+0.19.3-3_armhf.buildinfo2024-06-18 09:21 8.7K 
[ ]coq-serapi_8.19.0+0.19.3-3_i386.buildinfo2024-06-18 09:16 8.7K 
[ ]coq-serapi_8.19.0+0.19.3-3_ppc64el.buildinfo2024-06-18 09:16 8.8K 
[ ]coq-serapi_8.19.0+0.19.3-3_riscv64.buildinfo2024-06-18 09:42 8.7K 
[ ]coq-serapi_8.19.0+0.19.3-3_source.buildinfo2024-06-18 09:01 8.7K 
[ ]coq-serapi_8.19.0+0.19.3-4+b1_amd64.buildinfo2024-08-08 18:29 9.5K 
[ ]coq-serapi_8.19.0+0.19.3-4+b1_arm64.buildinfo2024-08-08 18:29 9.5K 
[ ]coq-serapi_8.19.0+0.19.3-4+b1_ppc64el.buildinfo2024-08-08 17:53 9.3K 
[ ]coq-serapi_8.19.0+0.19.3-4+b1_riscv64.buildinfo2024-08-08 22:32 9.5K 
[ ]coq-serapi_8.19.0+0.19.3-4+b2_amd64.buildinfo2024-08-21 03:54 9.6K 
[ ]coq-serapi_8.19.0+0.19.3-4+b2_arm64.buildinfo2024-08-21 03:59 9.5K 
[ ]coq-serapi_8.19.0+0.19.3-4+b2_ppc64el.buildinfo2024-08-21 03:54 9.3K 
[ ]coq-serapi_8.19.0+0.19.3-4+b2_riscv64.buildinfo2024-08-21 05:46 9.5K 
[ ]coq-serapi_8.19.0+0.19.3-4+b3_ppc64el.buildinfo2024-08-30 15:15 9.7K 
[ ]coq-serapi_8.19.0+0.19.3-4_amd64.buildinfo2024-08-04 07:28 8.9K 
[ ]coq-serapi_8.19.0+0.19.3-4_arm64.buildinfo2024-08-04 07:23 8.9K 
[ ]coq-serapi_8.19.0+0.19.3-4_armhf.buildinfo2024-08-04 07:28 8.8K 
[ ]coq-serapi_8.19.0+0.19.3-4_i386.buildinfo2024-08-04 07:23 8.8K 
[ ]coq-serapi_8.19.0+0.19.3-4_ppc64el.buildinfo2024-08-04 07:23 8.9K 
[ ]coq-serapi_8.19.0+0.19.3-4_riscv64.buildinfo2024-08-04 07:59 8.9K 
Apache/2.4.62 (Debian) Server at buildinfos.debian.net Port 443