Index of /~chrzaszcz/Papuq

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[DIR]Coq_en/ 2007-06-29 02:39 -  
[DIR]Coq_pl/ 2007-06-29 02:39 -  
[TXT]READ_ME.txt 2007-06-29 02:40 233  
[   ]coq-8.0pl4.papuq.diff 2007-04-12 04:22 73K 
[   ]coq-8.1.papuq.diff 2007-06-29 02:42 75K 

Apache/2.4.6 (Unix) OpenSSL/1.0.1g mod_python/3.4.1 Python/2.7.5 SVN/1.8.4 mod_jk/1.2.37 mod_watch/4.3 mod_perl/2.0.8-dev Perl/v5.18.1 Server at duch.mimuw.edu.pl Port 443