Index of /packages/c/coq-doc

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]coq-doc-8.6-5-i686.pkg.tar.xz2019-05-17 06:08 6.1M 
[   ]coq-doc-8.6-5-i686.pkg.tar.xz.sig2019-05-17 06:08 1.2K 
[   ]coq-doc-8.6-6-i686.pkg.tar.xz2019-05-18 06:13 6.1M 
[   ]coq-doc-8.6-6-i686.pkg.tar.xz.sig2019-05-18 06:13 566  
[   ]coq-doc-8.6-7-i686.pkg.tar.xz2019-05-18 06:54 6.1M 
[   ]coq-doc-8.6-7-i686.pkg.tar.xz.sig2019-05-18 06:54 310  
[   ]coq-doc-8.6-8-i686.pkg.tar.xz2019-05-18 07:17 6.1M 
[   ]coq-doc-8.6-8-i686.pkg.tar.xz.sig2019-05-18 07:17 566  
[   ]coq-doc-8.6.1-1-i686.pkg.tar.xz2019-05-16 06:28 6.1M 
[   ]coq-doc-8.6.1-1-i686.pkg.tar.xz.sig2019-05-16 06:28 566  
[   ]coq-doc-8.7.0-1-i686.pkg.tar.xz2019-05-16 01:20 6.6M 
[   ]coq-doc-8.7.0-1-i686.pkg.tar.xz.sig2019-05-16 01:20 566  
[   ]coq-doc-8.7.1-1.0-i686.pkg.tar.xz2019-05-14 17:55 8.3M 
[   ]coq-doc-8.7.1-1.0-i686.pkg.tar.xz.sig2019-05-14 17:55 566  
[   ]coq-doc-8.7.1-2.0-i686.pkg.tar.xz2019-05-14 17:55 8.3M 
[   ]coq-doc-8.7.1-2.0-i686.pkg.tar.xz.sig2019-05-14 17:55 566  
[   ]coq-doc-8.7.1-3.0-i686.pkg.tar.xz2019-05-14 17:55 8.3M 
[   ]coq-doc-8.7.1-3.0-i686.pkg.tar.xz.sig2019-05-14 17:55 566  
[   ]coq-doc-8.7.2-1.0-i686.pkg.tar.xz2019-05-14 17:55 8.5M 
[   ]coq-doc-8.7.2-1.0-i686.pkg.tar.xz.sig2019-05-14 17:55 566  
[   ]coq-doc-8.8.0-1.0-i686.pkg.tar.xz2019-05-14 17:55 9.0M 
[   ]coq-doc-8.8.0-1.0-i686.pkg.tar.xz.sig2019-05-14 17:55 566  
[   ]coq-doc-8.8.0-2.0-i686.pkg.tar.xz2019-05-14 17:55 9.0M 
[   ]coq-doc-8.8.0-2.0-i686.pkg.tar.xz.sig2019-05-14 17:55 566  
[   ]coq-doc-8.8.1-1.0-i686.pkg.tar.xz2019-05-14 17:56 11M 
[   ]coq-doc-8.8.1-1.0-i686.pkg.tar.xz.sig2019-05-14 17:56 566  
[   ]coq-doc-8.8.1-2.0-i686.pkg.tar.xz2019-05-14 17:56 11M 
[   ]coq-doc-8.8.1-2.0-i686.pkg.tar.xz.sig2019-05-14 17:56 566  
[   ]coq-doc-8.8.1-3.0-i686.pkg.tar.xz2019-05-14 16:13 11M 
[   ]coq-doc-8.8.1-3.0-i686.pkg.tar.xz.sig2019-05-14 16:13 566  
[   ]coq-doc-8.8.2-1.0-i686.pkg.tar.xz2019-05-14 17:56 14M 
[   ]coq-doc-8.8.2-1.0-i686.pkg.tar.xz.sig2019-05-14 17:56 566  
[   ]coq-doc-8.9.0-1.0-i686.pkg.tar.xz2019-01-23 23:25 13M 
[   ]coq-doc-8.9.0-1.0-i686.pkg.tar.xz.sig2019-01-23 23:25 566  
[   ]coq-doc-8.9.0-1.0-pentium4.pkg.tar.xz2019-04-12 18:15 13M 
[   ]coq-doc-8.9.0-1.0-pentium4.pkg.tar.xz.sig2019-04-12 18:15 566  
[   ]coq-doc-8.9.0-1.1-i686.pkg.tar.xz2019-05-12 17:19 13M 
[   ]coq-doc-8.9.0-1.1-i686.pkg.tar.xz.sig2019-05-12 17:19 566  
[   ]coq-doc-8.9.0-1.1-pentium4.pkg.tar.xz2019-05-12 15:25 13M 
[   ]coq-doc-8.9.0-1.1-pentium4.pkg.tar.xz.sig2019-05-12 15:25 566  
[   ]coq-doc-8.9.1-1.0-i686.pkg.tar.xz2019-05-31 20:40 13M 
[   ]coq-doc-8.9.1-1.0-i686.pkg.tar.xz.sig2019-05-31 20:40 566  
[   ]coq-doc-8.9.1-1.0-pentium4.pkg.tar.xz2019-05-31 19:56 13M 
[   ]coq-doc-8.9.1-1.0-pentium4.pkg.tar.xz.sig2019-05-31 19:56 310  
[   ]coq-doc-8.9.1-3.0-pentium4.pkg.tar.xz2019-08-27 04:35 13M 
[   ]coq-doc-8.9.1-3.0-pentium4.pkg.tar.xz.sig2019-08-27 04:35 310  
[   ]coq-doc-8.9.1-3.1-pentium4.pkg.tar.xz2019-09-04 21:20 13M 
[   ]coq-doc-8.9.1-3.1-pentium4.pkg.tar.xz.sig2019-09-04 21:20 310  
[   ]coq-doc-8.9.1-3.2-pentium4.pkg.tar.xz2019-09-05 15:34 13M 
[   ]coq-doc-8.9.1-3.2-pentium4.pkg.tar.xz.sig2019-09-05 15:34 566  
[   ]coq-doc-8.9.1-3.3-i686.pkg.tar.xz2019-09-17 00:10 13M 
[   ]coq-doc-8.9.1-3.3-i686.pkg.tar.xz.sig2019-09-17 00:10 310  
[   ]coq-doc-8.9.1-3.3-pentium4.pkg.tar.xz2019-09-16 20:35 13M 
[   ]coq-doc-8.9.1-3.3-pentium4.pkg.tar.xz.sig2019-09-16 20:35 310  
[   ]coq-doc-8.9.1-4.0-i686.pkg.tar.xz2019-10-10 21:22 13M 
[   ]coq-doc-8.9.1-4.0-i686.pkg.tar.xz.sig2019-10-10 21:22 310  
[   ]coq-doc-8.9.1-4.0-pentium4.pkg.tar.xz2019-10-10 21:21 13M 
[   ]coq-doc-8.9.1-4.0-pentium4.pkg.tar.xz.sig2019-10-10 21:21 566  
[   ]coq-doc-8.10.1-1.0-i686.pkg.tar.xz2019-12-06 11:47 12M 
[   ]coq-doc-8.10.1-1.0-i686.pkg.tar.xz.sig2019-12-06 11:47 310  
[   ]coq-doc-8.10.1-1.0-pentium4.pkg.tar.xz2019-12-06 11:48 12M 
[   ]coq-doc-8.10.1-1.0-pentium4.pkg.tar.xz.sig2019-12-06 11:48 566  
[   ]coq-doc-8.10.1-1.1-i686.pkg.tar.xz2019-12-10 15:59 12M 
[   ]coq-doc-8.10.1-1.1-i686.pkg.tar.xz.sig2019-12-10 15:59 310  
[   ]coq-doc-8.10.1-1.1-pentium4.pkg.tar.xz2019-12-10 15:35 12M 
[   ]coq-doc-8.10.1-1.1-pentium4.pkg.tar.xz.sig2019-12-10 15:35 310  
[   ]coq-doc-8.10.1-1.2-i686.pkg.tar.xz2019-12-17 15:21 12M 
[   ]coq-doc-8.10.1-1.2-i686.pkg.tar.xz.sig2019-12-17 15:21 310  
[   ]coq-doc-8.10.1-1.2-pentium4.pkg.tar.xz2019-12-17 15:21 12M 
[   ]coq-doc-8.10.1-1.2-pentium4.pkg.tar.xz.sig2019-12-17 15:21 310  
[   ]coq-doc-8.10.2-1.0-i686.pkg.tar.xz2019-12-28 19:27 12M 
[   ]coq-doc-8.10.2-1.0-i686.pkg.tar.xz.sig2019-12-28 19:27 566  
[   ]coq-doc-8.10.2-1.0-pentium4.pkg.tar.xz2019-12-28 19:39 12M 
[   ]coq-doc-8.10.2-1.0-pentium4.pkg.tar.xz.sig2019-12-28 19:39 566  
[   ]coq-doc-8.11.0-1.0-i686.pkg.tar.zst2020-01-29 02:24 12M 
[   ]coq-doc-8.11.0-1.0-i686.pkg.tar.zst.sig2020-01-29 02:24 310  
[   ]coq-doc-8.11.0-1.0-pentium4.pkg.tar.zst2020-01-29 02:24 12M 
[   ]coq-doc-8.11.0-1.0-pentium4.pkg.tar.zst.sig2020-01-29 02:24 310  
[   ]coq-doc-8.12.0-1.0-pentium4.pkg.tar.zst2020-07-25 13:28 14M 
[   ]coq-doc-8.12.0-1.0-pentium4.pkg.tar.zst.sig2020-07-25 13:28 566  
[   ]coq-doc-8.12.0-2.0-i686.pkg.tar.zst2020-08-30 00:49 14M 
[   ]coq-doc-8.12.0-2.0-i686.pkg.tar.zst.sig2020-08-30 00:49 310  
[   ]coq-doc-8.12.0-2.0-pentium4.pkg.tar.zst2020-08-30 00:54 14M 
[   ]coq-doc-8.12.0-2.0-pentium4.pkg.tar.zst.sig2020-08-30 00:54 310