package info (click to toggle)
metamath 0.198-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,124 kB
  • sloc: ansic: 31,802; makefile: 43

Folder: upstream

d .. (parent)
- - rw-r--r-- 317 metadata