../ Makefile 15-Feb-2021 11:52 19963 Makefile.am 21-Dec-2020 13:00 278 Makefile.in 15-Feb-2021 11:52 18579 Singular-manual.desktop 15-Feb-2021 11:52 347 Singular-manual.desktop.in 21-Dec-2020 13:00 383 Singular.desktop 15-Feb-2021 11:52 332 Singular.desktop.in 21-Dec-2020 13:00 368 Singular.png 21-Dec-2020 13:00 4971