49f84d1916
* added SF2B' as a proof-free variant of SF2B * fixed installation of Pff2Flocq * ensured compatibility from Coq 8.12 to 8.20 OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=17
5 lines
255 B
Plaintext
5 lines
255 B
Plaintext
# Unfortunate choice, but we can't easily change that.
|
|
addFilter("hidden-file-or-dir .*/.coq-native")
|
|
# These are loaded manually by the OCaml runtime and need no dependency information.
|
|
addFilter("shared-library-without-dependency-information .*\.cmxs")
|