File: libcoq-relation-algebra.lintian-overrides

package info (click to toggle)
coq-relation-algebra 1.7.11-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 912 kB
  • sloc: ml: 1,452; makefile: 53; sh: 20
file content (21 lines) | stat: -rw-r--r-- 2,072 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
# false positives
libcoq-relation-algebra: ocaml-dangling-cmx [usr/lib/ocaml/coq-relation-algebra/packed_fold.cmx]
libcoq-relation-algebra: ocaml-dangling-cmx [usr/lib/ocaml/coq-relation-algebra/packed_kat.cmx]
libcoq-relation-algebra: ocaml-dangling-cmx [usr/lib/ocaml/coq-relation-algebra/packed_mrewrite.cmx]
libcoq-relation-algebra: ocaml-dangling-cmx [usr/lib/ocaml/coq-relation-algebra/packed_reification.cmx]
libcoq-relation-algebra: ocaml-dangling-cmx [usr/lib/ocaml/coq-relation-algebra/plugins.cmx]
libcoq-relation-algebra: ocaml-dangling-cmxa [usr/lib/ocaml/coq-relation-algebra/packed_fold.cmxa]
libcoq-relation-algebra: ocaml-dangling-cmxa [usr/lib/ocaml/coq-relation-algebra/packed_kat.cmxa]
libcoq-relation-algebra: ocaml-dangling-cmxa [usr/lib/ocaml/coq-relation-algebra/packed_mrewrite.cmxa]
libcoq-relation-algebra: ocaml-dangling-cmxa [usr/lib/ocaml/coq-relation-algebra/packed_reification.cmxa]
libcoq-relation-algebra: ocaml-dangling-cmxa [usr/lib/ocaml/coq-relation-algebra/plugins.cmxa]
libcoq-relation-algebra: ocaml-dangling-cmxs [usr/lib/ocaml/coq-relation-algebra/packed_fold.cmxs]
libcoq-relation-algebra: ocaml-dangling-cmxs [usr/lib/ocaml/coq-relation-algebra/packed_kat.cmxs]
libcoq-relation-algebra: ocaml-dangling-cmxs [usr/lib/ocaml/coq-relation-algebra/packed_mrewrite.cmxs]
libcoq-relation-algebra: ocaml-dangling-cmxs [usr/lib/ocaml/coq-relation-algebra/packed_reification.cmxs]
libcoq-relation-algebra: ocaml-dangling-cmxs [usr/lib/ocaml/coq-relation-algebra/plugins.cmxs]
libcoq-relation-algebra: ocaml-dangling-cmxs [usr/lib/ocaml/coq/user-contrib/RelationAlgebra/packed_fold.cmxs]
libcoq-relation-algebra: ocaml-dangling-cmxs [usr/lib/ocaml/coq/user-contrib/RelationAlgebra/packed_kat.cmxs]
libcoq-relation-algebra: ocaml-dangling-cmxs [usr/lib/ocaml/coq/user-contrib/RelationAlgebra/packed_mrewrite.cmxs]
libcoq-relation-algebra: ocaml-dangling-cmxs [usr/lib/ocaml/coq/user-contrib/RelationAlgebra/packed_reification.cmxs]
libcoq-relation-algebra: ocaml-dangling-cmxs [usr/lib/ocaml/coq/user-contrib/RelationAlgebra/plugins.cmxs]