matita.cs.unibo.it Git - helm.git/tree - pkg-matita/trunk/debian/

drwxr-xr-x		..
-rw-r--r--	644	changelog	blob \| history \| raw
-rw-r--r--	1624	control	blob \| history \| raw
-rw-r--r--	1043	copyright	blob \| history \| raw
-rw-r--r--	45	matita-standard-library.dirs	blob \| history \| raw
-rw-r--r--	75	matita-standard-library.install	blob \| history \| raw
-rw-r--r--	28	matita.dirs	blob \| history \| raw
-rw-r--r--	490	matita.install	blob \| history \| raw
-rwxr-xr-x	498	rules	blob \| history \| raw

Unnamed repository; edit this file 'description' to name the repository.