Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | 60singular-gentoo.el | 298 | logplain |
-rw-r--r-- | singular-3.0.4.4-nostrip.patch | 453 | logplain |
-rw-r--r-- | singular-3.1.0-emacs-22.patch | 637 | logplain |
-rw-r--r-- | singular-3.1.0-gentoo.patch | 4563 | logplain |
-rw-r--r-- | singular-3.1.3.2-python.patch | 1136 | logplain |
-rw-r--r-- | singular-3.1.3.3-Minor.h.patch | 234 | logplain |
-rw-r--r-- | singular-3.1.3.3-install_name.patch | 862 | logplain |
-rw-r--r-- | singular-3.1.6-factory_template_instantiation.patch | 900 | logplain |
-rw-r--r-- | singular-3.1.6-ntl6compat.patch | 1401 | logplain |
-rw-r--r-- | singular-4.0.0-fix-omalloc-ar-detection.patch | 484 | logplain |
-rw-r--r-- | singular-4.0.2-ntl8-compat.patch | 1149 | logplain |
-rw-r--r-- | singular-4.0.3-fix-destdir.patch | 992 | logplain |
-rw-r--r-- | singular-4.0.3-fix-resources-name.patch | 10175 | logplain |