package info (click to toggle)
metamath-databases 0.0.0~20210101.git55fe226-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 48,584 kB
  • sloc: makefile: 7; sh: 6

Folder: debian

d .. (parent)
d d rwxr-xr-x 27 source
- - rw-r--r-- 1,337 README.Debian
- - rw-r--r-- 634 changelog
- - rwxr-xr-x 189 check_database.sh
- - rw-r--r-- 1,052 control
- - rw-r--r-- 2,423 copyright
- - rw-r--r-- 16 metamath-databases.docs
- - rw-r--r-- 34 metamath-databases.install
- - rwxr-xr-x 246 rules
- - rw-r--r-- 170 salsa-ci.yml