Index of /data/main/f/fricas/1.3.12-2/debian

• Parent Directory
• README.Debian
• changelog
• control
• copyright
• debian-autoloads.el
• dirs
• elpa-fricas.elpa
• elpa-fricas.lintian-overrides.in
• elpa-fricas.manpages
• fricas-databases.lintian-overrides.in
• fricas-doc.docs
• fricas-doc.lintian-overrides.in
• fricas-graphics-data.lintian-overrides.in
• fricas-graphics.lintian-overrides.in
• fricas-hypertex-data.lintian-overrides.in
• fricas-hypertex.lintian-overrides.in
• fricas-pkg.el
• fricas-source.lintian-overrides.in
• fricas-test.1
• fricas-test.manpages
• fricas-test.sh
• fricas.lintian-overrides.in
• fricas.manpages
• fricas.menu
• fricas_tutorial/
• gcl27p.l
• missing-sources/
• patches/
• rules
• source/
• watch