../ 60singular-gentoo.el 09-Aug-2015 00:38 298 singular-4.0.3-gfan_linking.patch 22-Mar-2021 20:09 705 singular-4.1.3-doc_install.patch 22-Mar-2021 20:09 2834 singular-4.2.0-no-static.patch 22-Mar-2021 20:09 2644 singular-4.2.1-htmldoc.patch 25-Dec-2021 19:40 2086