Index of /downloads/CentOS82

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]ChezScheme-9.5.4-1.e..>2020-09-22 17:40 31M 
[TXT]ChezScheme.log 2020-09-22 17:40 334K 
[   ]MiniZincIDE-2.4.3-1...>2020-09-22 17:51 500K 
[TXT]MiniZincIDE.log 2020-09-22 17:51 50K 
[   ]SFMT-1.4.1-4.el8.src..>2020-09-22 17:41 205K 
[TXT]SFMT.log 2020-09-22 17:41 9.7K 
[   ]ats2-0.4.1-1.el8.src..>2020-09-22 17:48 4.3M 
[   ]ats2-gmp-0.4.1-1.el8..>2020-09-22 17:46 4.3M 
[TXT]ats2-gmp.log 2020-09-22 17:46 178K 
[   ]ats2-int-0.4.1-1.el8..>2020-09-22 17:47 4.3M 
[TXT]ats2-int.log 2020-09-22 17:47 178K 
[TXT]ats2.log 2020-09-22 17:48 177K 
[   ]bytes-1.1-1.el8.src.rpm2020-09-22 17:41 7.2K 
[TXT]bytes.log 2020-09-22 17:41 2.7K 
[   ]gecode-6.2.0-1.el8.s..>2020-09-22 18:11 3.4M 
[TXT]gecode.log 2020-09-22 18:12 734K 
[   ]gen-oath-safe-0.10.1..>2020-09-22 17:43 11K 
[TXT]gen-oath-safe.log 2020-09-22 17:43 2.9K 
[TXT]jags.log 2020-09-22 17:58 80K 
[   ]jags4-4.2.0-1.0.src.rpm2020-09-22 17:57 1.8M 
[DIR]noarch/ 2020-09-22 18:43 -  
[   ]racket-7.8-1.0.src.rpm 2020-09-22 20:03 30M 
[TXT]racket.log 2020-09-22 20:04 484K 
[DIR]x86_64/ 2020-09-22 20:55 -