]> matita.cs.unibo.it Git - helm.git/tree - helm/software/pkg-matita/trunk/debian/
...
[helm.git] / helm / software / pkg-matita / trunk / debian /
drwxr-xr-x   ..
-rw-r--r-- 139 changelog
-rw-r--r-- 2 compat
-rw-r--r-- 1623 control
-rw-r--r-- 1043 copyright
-rw-r--r-- 45 matita-standard-library.dirs
-rw-r--r-- 75 matita-standard-library.install
-rw-r--r-- 28 matita.dirs
-rw-r--r-- 415 matita.install
-rw-r--r-- 207 matita.menu
drwxr-xr-x - patches
-rwxr-xr-x 2214 rules