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: xmathcomp

d .. (parent)
- - rw-r--r-- 12,187 algR.v
- - rw-r--r-- 6,915 char0.v
- - rw-r--r-- 9,029 classic_ext.v
- - rw-r--r-- 6,491 cyclotomic_ext.v
- - rw-r--r-- 34,014 map_gal.v
- - rw-r--r-- 9,699 mxextra.v
- - rw-r--r-- 2,256 real_closed_ext.v
- - rw-r--r-- 49,503 various.v