Index of /Linux/dist/gentoo-portage/dev-lang/teyjus/files

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]teyjus-2.1-p001-Fixes-arity-for-pervasive-modulo-operation.patch2019-08-22 12:39 1.1K 
[TXT]teyjus-2.1-p002-Add-string-literals-from-proper-character-groups.patch2019-08-22 12:39 2.0K 
[TXT]teyjus-2.1-p003-Removing-deprecated-function-String.set.patch2019-08-22 12:39 1.6K 
[TXT]teyjus-2.1-p004-Renaming-ccode_stubs-for-compilation.patch2022-07-17 13:40 2.4K 
[TXT]teyjus-2.1-p005-Unbundle-ocaml-header-files.patch2022-07-17 13:40 1.3K 
[TXT]teyjus-2.1-p006-Version.patch2022-07-17 13:40 444  

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443