File: _CoqProject

package info (click to toggle)
coq-record-update 0.3.4-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 176 kB
  • sloc: makefile: 37; sed: 5
file content (6 lines) | stat: -rw-r--r-- 148 bytes parent folder | download 
1
2
3
4
5
6
 
-Q src RecordUpdate
-arg -w -arg +deprecated-instance-without-locality
-arg -w -arg +undeclared-scope
src/RecordSet.v
src/RecordUpdate.v
src/Lens.v