Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - Makefile 2019-01-19 15:14 1.8K pgfsys-ximera.def 2021-08-11 15:11 2.4K README.md 2023-11-02 16:04 1.8K installingLocally.md 2024-01-11 19:43 3.0K src/ 2024-05-09 15:46 - README 2024-05-12 17:28 847 ximera.ins 2024-05-12 17:28 7.4K ximera.pdf 2024-05-12 17:28 313K LICENSE 2024-05-12 17:34 19K ximera.dtx 2024-05-12 17:40 12K