libcoq-aac-tactics

Version: 8.20.0-1+b4

Architecture: amd64

Number of files: 43

Total size: 2.8 MB

sharing with respect to sha512

packagefiles shareddata shared
self compare 1 (2%) 368.4 KB (12%)
coq compare 1 (2%) 6.0 KB (0%)
libcoq-stdlib 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