Welcome to the NetCologne GmbH open source mirroring service!

This machine mirrors various open-source projects. 20 Gbit/s uplink.

If there are any issues or you want another project mirrored, please contact mirror-service -=AT=- netcologne DOT de !

Index of /gentoo-portage/sci-mathematics/twelf/files/

Index of /gentoo-portage/sci-mathematics/twelf/files/


../
50twelf-gentoo.el                                  09-Aug-2015 00:38     104
twelf-1.7.1-Makefile.patch                         09-Aug-2015 00:38    1298
twelf-1.7.1-doc-guide-Makefile.patch               09-Aug-2015 00:38     498
twelf-1.7.1-doc-guide-twelf-dot-texi.patch         09-Aug-2015 00:38     386
twelf-1.7.1-emacs-twelf-init.patch                 09-Aug-2015 00:38     813
twelf-1.7.1-emacs-twelf.patch                      09-Aug-2015 00:38     602
twelf-1.7.1-mlton-20180207.patch                   11-Mar-2018 00:09     310
twelf-1.7.1-mlton-mlb.patch                        09-Aug-2015 00:38     11K