../ 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-doc_install.patch 30-May-2021 14:39 3390 singular-4.2.0-gfan_linking.patch 30-May-2021 14:39 1849 singular-4.2.0-no-static.patch 22-Mar-2021 20:09 2644