File: metadata

package info (click to toggle)
ocaml-ptmap 2.0.5-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye
  • size: 168 kB
  • sloc: ml: 433; makefile: 19; sh: 17
file content (5 lines) | stat: -rw-r--r-- 253 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
 
Name: ptmap
Contact: Jean-Christophe Filliâtre <Jean-Christophe.Filliatre@lri.fr>
Repository: https://github.com/backtracking/ptmap.git
Repository-Browse: https://github.com/backtracking/ptmap
Bug-Database: https://github.com/backtracking/ptmap/issues