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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]coq-bignums_8.15.0-1+b1_amd64.buildinfo2022-05-14 12:41 7.7K 
[   ]coq-bignums_8.15.0-1_amd64-source.buildinfo2022-05-05 14:38 7.8K 
[   ]coq-bignums_8.15.0-1_arm64.buildinfo2022-05-12 18:25 7.3K 
[   ]coq-bignums_8.15.0-1_armhf.buildinfo2022-05-12 18:25 7.3K 
[   ]coq-bignums_8.15.0-1_i386.buildinfo2022-05-12 18:25 7.3K 
[   ]coq-bignums_8.15.0-1_ppc64el.buildinfo2022-05-12 18:25 7.4K 
[   ]coq-bignums_8.15.0-1_s390x.buildinfo2022-05-12 18:25 7.3K 
[   ]coq-bignums_8.15.0-2_amd64.buildinfo2022-05-22 18:13 7.4K 
[   ]coq-bignums_8.15.0-2_arm64.buildinfo2022-05-22 18:13 7.4K 
[   ]coq-bignums_8.15.0-2_armhf.buildinfo2022-05-22 18:13 7.3K 
[   ]coq-bignums_8.15.0-2_i386.buildinfo2022-05-22 18:08 7.3K 
[   ]coq-bignums_8.15.0-2_ppc64el.buildinfo2022-05-22 18:13 7.4K 
[   ]coq-bignums_8.15.0-2_s390x.buildinfo2022-05-22 18:13 7.3K 
[   ]coq-bignums_8.15.0-2_source.buildinfo2022-05-22 17:38 6.6K 
[   ]coq-bignums_8.15.0-3_amd64.buildinfo2022-06-01 13:57 7.4K 
[   ]coq-bignums_8.15.0-3_arm64.buildinfo2022-06-01 13:57 7.4K 
[   ]coq-bignums_8.15.0-3_armhf.buildinfo2022-06-01 13:57 7.3K 
[   ]coq-bignums_8.15.0-3_i386.buildinfo2022-06-01 13:52 7.3K 
[   ]coq-bignums_8.15.0-3_ppc64el.buildinfo2022-06-01 13:57 7.4K 
[   ]coq-bignums_8.15.0-3_s390x.buildinfo2022-06-01 13:57 7.3K 
[   ]coq-bignums_8.15.0-3_source.buildinfo2022-06-01 13:21 6.6K 
[   ]coq-bignums_8.15.0-5_amd64.buildinfo2022-06-12 12:40 7.4K 
[   ]coq-bignums_8.15.0-5_arm64.buildinfo2022-06-12 12:40 7.4K 
[   ]coq-bignums_8.15.0-5_armhf.buildinfo2022-06-12 12:55 7.2K 
[   ]coq-bignums_8.15.0-5_i386.buildinfo2022-06-12 12:35 7.3K 
[   ]coq-bignums_8.15.0-5_ppc64el.buildinfo2022-06-12 12:40 7.4K 
[   ]coq-bignums_8.15.0-5_s390x.buildinfo2022-06-12 14:11 7.3K 
[   ]coq-bignums_8.15.0-5_source.buildinfo2022-06-12 12:05 6.6K 
[   ]coq-bignums_8.15.0-6_amd64.buildinfo2022-06-14 06:15 7.4K 
[   ]coq-bignums_8.15.0-6_arm64.buildinfo2022-06-14 06:25 7.4K 
[   ]coq-bignums_8.15.0-6_armhf.buildinfo2022-06-14 06:25 7.3K 
[   ]coq-bignums_8.15.0-6_i386.buildinfo2022-06-14 06:25 7.3K 
[   ]coq-bignums_8.15.0-6_ppc64el.buildinfo2022-06-14 06:25 7.4K 
[   ]coq-bignums_8.15.0-6_s390x.buildinfo2022-06-14 06:20 7.3K 
[   ]coq-bignums_8.15.0-6_source.buildinfo2022-06-14 06:00 6.6K 
[   ]coq-bignums_8.15.0-7_amd64.buildinfo2022-06-15 09:41 7.4K 
[   ]coq-bignums_8.15.0-7_arm64.buildinfo2022-06-15 09:56 7.4K 
[   ]coq-bignums_8.15.0-7_armhf.buildinfo2022-06-15 09:56 7.3K 
[   ]coq-bignums_8.15.0-7_i386.buildinfo2022-06-15 09:56 7.3K 
[   ]coq-bignums_8.15.0-7_ppc64el.buildinfo2022-06-15 09:56 7.4K 
[   ]coq-bignums_8.15.0-7_s390x.buildinfo2022-06-15 09:41 7.3K 
[   ]coq-bignums_8.15.0-7_source.buildinfo2022-06-15 08:35 6.6K 
[   ]coq-bignums_8.16.0-1_amd64.buildinfo2022-09-06 12:10 6.8K 
[   ]coq-bignums_8.16.0-1_arm64.buildinfo2022-09-06 12:10 6.8K 
[   ]coq-bignums_8.16.0-1_armhf.buildinfo2022-09-06 12:10 6.7K 
[   ]coq-bignums_8.16.0-1_i386.buildinfo2022-09-06 12:56 6.8K 
[   ]coq-bignums_8.16.0-1_ppc64el.buildinfo2022-09-06 14:12 6.8K 
[   ]coq-bignums_8.16.0-1_s390x.buildinfo2022-09-07 02:24 6.7K 
[   ]coq-bignums_8.16.0-1_source.buildinfo2022-09-06 09:04 6.8K 

Apache/2.4.54 (Debian) Server at buildinfos.debian.net Port 443