Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - Makefile 2018-07-06 12:55 849 README.md 2018-07-06 12:55 1.5K examples.pdf 2018-07-06 12:55 137K examples.tex 2018-07-06 12:55 3.1K lstbayes.dtx 2018-07-06 12:55 13K lstbayes.ins 2018-07-06 12:55 1.1K lstbayes.pdf 2018-07-06 12:55 132K