package info (click to toggle)
mathcomp-abel 1.2.1-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 536 kB
  • sloc: makefile: 15

Folder: debian

d .. (parent)
d d rwxr-xr-x 27 source
d d rwxr-xr-x 28 tests
d d rwxr-xr-x 29 upstream
- - rw-r--r-- 161 changelog
- - rw-r--r-- 1,355 control
- - rw-r--r-- 22,350 copyright
- - rw-r--r-- 10 libcoq-mathcomp-abel.docs
- - rwxr-xr-x 153 rules
- - rw-r--r-- 71 watch