../ Makefile 15-Feb-2021 12:01 19808 Makefile.am 15-Feb-2019 14:04 278 Makefile.in 15-Feb-2021 12:01 18184 Singular-manual.desktop 15-Feb-2021 12:01 347 Singular-manual.desktop.in 15-Feb-2019 14:03 383 Singular.desktop 15-Feb-2021 12:01 332 Singular.desktop.in 15-Feb-2019 14:03 368 Singular.png 15-Feb-2019 14:03 4971