libcoq-aac-tactics
Version: 9.0.0-4+b2
Architecture: amd64
Number of files: 42
Total size: 2.4 MB
sharing with respect to sha512
| package | files shared | data shared |
|---|
| coq
compare |
1 (2%) |
6.0 KB (0%) |
Note: Packages with yellow background are required to be installed when this package is installed.
Details about this service
- More information: see wiki
- Maintainer: Helmut Grohne <helmut@subdivi.de>
- Source: git://git.subdivi.de/~helmut/debian-dedup.git
- Bugs reports / Feedback / Patches: to the maintainer