Index of /packages/c/coq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-8.6-5-i686.pkg.tar.xz2019-05-17 06:08 40M 
[ ]coq-8.6-5-i686.pkg.tar.xz.sig2019-05-17 06:08 1.2K 
[ ]coq-8.6-6-i686.pkg.tar.xz2019-05-18 06:13 40M 
[ ]coq-8.6-6-i686.pkg.tar.xz.sig2019-05-18 06:13 566  
[ ]coq-8.6-7-i686.pkg.tar.xz2019-05-18 06:54 41M 
[ ]coq-8.6-7-i686.pkg.tar.xz.sig2019-05-18 06:54 310  
[ ]coq-8.6-8-i686.pkg.tar.xz2019-05-18 07:17 41M 
[ ]coq-8.6-8-i686.pkg.tar.xz.sig2019-05-18 07:17 566  
[ ]coq-8.6.1-1-i686.pkg.tar.xz2019-05-16 06:28 41M 
[ ]coq-8.6.1-1-i686.pkg.tar.xz.sig2019-05-16 06:28 566  
[ ]coq-8.7.0-1-i686.pkg.tar.xz2019-05-16 01:20 36M 
[ ]coq-8.7.0-1-i686.pkg.tar.xz.sig2019-05-16 01:20 566  
[ ]coq-8.7.1-1.0-i686.pkg.tar.xz2019-05-14 17:52 38M 
[ ]coq-8.7.1-1.0-i686.pkg.tar.xz.sig2019-05-14 17:52 566  
[ ]coq-8.7.1-2.0-i686.pkg.tar.xz2019-05-14 17:53 38M 
[ ]coq-8.7.1-2.0-i686.pkg.tar.xz.sig2019-05-14 17:53 566  
[ ]coq-8.7.1-3.0-i686.pkg.tar.xz2019-05-14 17:53 38M 
[ ]coq-8.7.1-3.0-i686.pkg.tar.xz.sig2019-05-14 17:53 566  
[ ]coq-8.7.2-1.0-i686.pkg.tar.xz2019-05-14 17:53 38M 
[ ]coq-8.7.2-1.0-i686.pkg.tar.xz.sig2019-05-14 17:53 566  
[ ]coq-8.8.0-1.0-i686.pkg.tar.xz2019-05-14 17:53 39M 
[ ]coq-8.8.0-1.0-i686.pkg.tar.xz.sig2019-05-14 17:53 566  
[ ]coq-8.8.0-2.0-i686.pkg.tar.xz2019-05-14 17:54 39M 
[ ]coq-8.8.0-2.0-i686.pkg.tar.xz.sig2019-05-14 17:54 566  
[ ]coq-8.8.1-1.0-i686.pkg.tar.xz2019-05-14 17:54 39M 
[ ]coq-8.8.1-1.0-i686.pkg.tar.xz.sig2019-05-14 17:54 566  
[ ]coq-8.8.1-2.0-i686.pkg.tar.xz2019-05-14 17:54 39M 
[ ]coq-8.8.1-2.0-i686.pkg.tar.xz.sig2019-05-14 17:54 566  
[ ]coq-8.8.1-3.0-i686.pkg.tar.xz2019-05-14 16:13 39M 
[ ]coq-8.8.1-3.0-i686.pkg.tar.xz.sig2019-05-14 16:13 566  
[ ]coq-8.8.2-1.0-i686.pkg.tar.xz2019-05-14 17:54 39M 
[ ]coq-8.8.2-1.0-i686.pkg.tar.xz.sig2019-05-14 17:54 566  
[ ]coq-8.9.0-1.0-i686.pkg.tar.xz2019-01-23 23:25 60M 
[ ]coq-8.9.0-1.0-i686.pkg.tar.xz.sig2019-01-23 23:25 566  
[ ]coq-8.9.0-1.0-pentium4.pkg.tar.xz2019-04-12 18:14 59M 
[ ]coq-8.9.0-1.0-pentium4.pkg.tar.xz.sig2019-04-12 18:14 566  
[ ]coq-8.9.0-1.1-i686.pkg.tar.xz2019-05-12 17:19 60M 
[ ]coq-8.9.0-1.1-i686.pkg.tar.xz.sig2019-05-12 17:19 566  
[ ]coq-8.9.0-1.1-pentium4.pkg.tar.xz2019-05-12 15:25 60M 
[ ]coq-8.9.0-1.1-pentium4.pkg.tar.xz.sig2019-05-12 15:25 566  
[ ]coq-8.9.1-1.0-i686.pkg.tar.xz2019-05-31 20:40 60M 
[ ]coq-8.9.1-1.0-i686.pkg.tar.xz.sig2019-05-31 20:40 566  
[ ]coq-8.9.1-1.0-pentium4.pkg.tar.xz2019-05-31 19:56 60M 
[ ]coq-8.9.1-1.0-pentium4.pkg.tar.xz.sig2019-05-31 19:56 310  
[ ]coq-8.9.1-3.0-pentium4.pkg.tar.xz2019-08-27 04:35 60M 
[ ]coq-8.9.1-3.0-pentium4.pkg.tar.xz.sig2019-08-27 04:35 310  
[ ]coq-8.9.1-3.1-pentium4.pkg.tar.xz2019-09-04 21:20 60M 
[ ]coq-8.9.1-3.1-pentium4.pkg.tar.xz.sig2019-09-04 21:20 310  
[ ]coq-8.9.1-3.2-pentium4.pkg.tar.xz2019-09-05 15:34 60M 
[ ]coq-8.9.1-3.2-pentium4.pkg.tar.xz.sig2019-09-05 15:34 566  
[ ]coq-8.9.1-3.3-i686.pkg.tar.xz2019-09-17 00:10 60M 
[ ]coq-8.9.1-3.3-i686.pkg.tar.xz.sig2019-09-17 00:10 310  
[ ]coq-8.9.1-3.3-pentium4.pkg.tar.xz2019-09-16 20:35 60M 
[ ]coq-8.9.1-3.3-pentium4.pkg.tar.xz.sig2019-09-16 20:35 310  
[ ]coq-8.9.1-4.0-i686.pkg.tar.xz2019-10-10 21:22 62M 
[ ]coq-8.9.1-4.0-i686.pkg.tar.xz.sig2019-10-10 21:22 310  
[ ]coq-8.9.1-4.0-pentium4.pkg.tar.xz2019-10-10 21:21 62M 
[ ]coq-8.9.1-4.0-pentium4.pkg.tar.xz.sig2019-10-10 21:21 566  
[ ]coq-8.10.1-1.0-i686.pkg.tar.xz2019-12-06 11:47 66M 
[ ]coq-8.10.1-1.0-i686.pkg.tar.xz.sig2019-12-06 11:47 310  
[ ]coq-8.10.1-1.0-pentium4.pkg.tar.xz2019-12-06 11:48 66M 
[ ]coq-8.10.1-1.0-pentium4.pkg.tar.xz.sig2019-12-06 11:48 566  
[ ]coq-8.10.1-1.1-i686.pkg.tar.xz2019-12-10 15:59 66M 
[ ]coq-8.10.1-1.1-i686.pkg.tar.xz.sig2019-12-10 15:59 310  
[ ]coq-8.10.1-1.1-pentium4.pkg.tar.xz2019-12-10 15:35 66M 
[ ]coq-8.10.1-1.1-pentium4.pkg.tar.xz.sig2019-12-10 15:35 310  
[ ]coq-8.10.1-1.2-i686.pkg.tar.xz2019-12-17 15:21 66M 
[ ]coq-8.10.1-1.2-i686.pkg.tar.xz.sig2019-12-17 15:21 310  
[ ]coq-8.10.1-1.2-pentium4.pkg.tar.xz2019-12-17 15:21 66M 
[ ]coq-8.10.1-1.2-pentium4.pkg.tar.xz.sig2019-12-17 15:21 310  
[ ]coq-8.10.2-1.0-i686.pkg.tar.xz2019-12-28 19:27 66M 
[ ]coq-8.10.2-1.0-i686.pkg.tar.xz.sig2019-12-28 19:27 566  
[ ]coq-8.10.2-1.0-pentium4.pkg.tar.xz2019-12-28 19:39 66M 
[ ]coq-8.10.2-1.0-pentium4.pkg.tar.xz.sig2019-12-28 19:39 566  
[ ]coq-8.11.0-1.0-i686.pkg.tar.zst2020-01-29 02:24 66M 
[ ]coq-8.11.0-1.0-i686.pkg.tar.zst.sig2020-01-29 02:24 310  
[ ]coq-8.11.0-1.0-pentium4.pkg.tar.zst2020-01-29 02:24 66M 
[ ]coq-8.11.0-1.0-pentium4.pkg.tar.zst.sig2020-01-29 02:24 310  
[ ]coq-8.12.0-1.0-pentium4.pkg.tar.zst2020-07-25 13:28 60M 
[ ]coq-8.12.0-1.0-pentium4.pkg.tar.zst.sig2020-07-25 13:28 566  
[ ]coq-8.12.0-2.0-i686.pkg.tar.zst2020-08-30 00:49 61M 
[ ]coq-8.12.0-2.0-i686.pkg.tar.zst.sig2020-08-30 00:49 310  
[ ]coq-8.12.0-2.0-pentium4.pkg.tar.zst2020-08-30 00:54 60M 
[ ]coq-8.12.0-2.0-pentium4.pkg.tar.zst.sig2020-08-30 00:54 310  
[ ]coq-8.16.1-1.0-i686.pkg.tar.zst2023-01-07 13:36 183M 
[ ]coq-8.16.1-1.0-i686.pkg.tar.zst.sig2023-01-07 13:36 310  
[ ]coq-8.16.1-1.0-pentium4.pkg.tar.zst2023-01-07 14:14 183M 
[ ]coq-8.16.1-1.0-pentium4.pkg.tar.zst.sig2023-01-07 14:14 310