package info (click to toggle)
python3.13 3.13.5-2
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 121,584 kB
  • sloc: python: 702,544; ansic: 653,661; xml: 31,250; sh: 5,757; cpp: 4,326; makefile: 1,980; objc: 787; lisp: 502; javascript: 213; asm: 74; csh: 12

Folder: krml

d .. (parent)
d d rwxr-xr-x 29 internal
- - rw-r--r-- 9,342 FStar_UInt128_Verified.h
- - rw-r--r-- 3,026 FStar_UInt_8_16_32_64.h
- - rw-r--r-- 1,649 fstar_uint128_struct_endianness.h
- - rw-r--r-- 7,757 lowstar_endianness.h
- - rw-r--r-- 307 types.h