package info (click to toggle)
linksem 0.8%2Bdfsg3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 5,376 kB
  • sloc: asm: 9,188; ansic: 5,856; ml: 2,918; yacc: 1,310; lex: 721; sh: 119; makefile: 63

Folder: prf

d .. (parent)
d d rwxr-xr-x 150 x86-64_labelled_model
d d rwxr-xr-x 68 x86-64_model
- - rw-r--r-- 163,280 ELF_Relocation_Proof.thy