/usr/share/gecode/mznlib/ is in flatzinc 4.2.1-2.
This file is owned by root:root, with mode 0o755.
..
/usr/share/gecode/mznlib/all_different_int.mzn
/usr/share/gecode/mznlib/all_equal_int.mzn
/usr/share/gecode/mznlib/among.mzn
/usr/share/gecode/mznlib/at_least_int.mzn
/usr/share/gecode/mznlib/at_least_set.mzn
/usr/share/gecode/mznlib/at_most_int.mzn
/usr/share/gecode/mznlib/at_most_set.mzn
/usr/share/gecode/mznlib/bin_packing.mzn
/usr/share/gecode/mznlib/bin_packing_capa.mzn
/usr/share/gecode/mznlib/bin_packing_load.mzn
/usr/share/gecode/mznlib/circuit.mzn
/usr/share/gecode/mznlib/count.mzn
/usr/share/gecode/mznlib/cumulative.mzn
/usr/share/gecode/mznlib/decreasing_bool.mzn
/usr/share/gecode/mznlib/decreasing_int.mzn
/usr/share/gecode/mznlib/diffn.mzn
/usr/share/gecode/mznlib/disjoint.mzn
/usr/share/gecode/mznlib/distribute.mzn
/usr/share/gecode/mznlib/exactly_int.mzn
/usr/share/gecode/mznlib/exactly_set.mzn
/usr/share/gecode/mznlib/gecode.mzn
/usr/share/gecode/mznlib/global_cardinality.mzn
/usr/share/gecode/mznlib/global_cardinality_closed.mzn
/usr/share/gecode/mznlib/global_cardinality_low_up.mzn
/usr/share/gecode/mznlib/global_cardinality_low_up_closed.mzn
/usr/share/gecode/mznlib/increasing_bool.mzn
/usr/share/gecode/mznlib/increasing_int.mzn
/usr/share/gecode/mznlib/int_set_channel.mzn
/usr/share/gecode/mznlib/inverse.mzn
/usr/share/gecode/mznlib/inverse_set.mzn
/usr/share/gecode/mznlib/lex_less_bool.mzn
/usr/share/gecode/mznlib/lex_less_int.mzn
/usr/share/gecode/mznlib/lex_lesseq_bool.mzn
/usr/share/gecode/mznlib/lex_lesseq_int.mzn
/usr/share/gecode/mznlib/link_set_to_booleans.mzn
/usr/share/gecode/mznlib/maximum_int.mzn
/usr/share/gecode/mznlib/member_bool.mzn
/usr/share/gecode/mznlib/member_int.mzn
/usr/share/gecode/mznlib/minimum_int.mzn
/usr/share/gecode/mznlib/nvalue.mzn
/usr/share/gecode/mznlib/partition_set.mzn
/usr/share/gecode/mznlib/range.mzn
/usr/share/gecode/mznlib/redefinitions.mzn
/usr/share/gecode/mznlib/regular.mzn
/usr/share/gecode/mznlib/roots.mzn
/usr/share/gecode/mznlib/sort.mzn
/usr/share/gecode/mznlib/sum_pred.mzn
/usr/share/gecode/mznlib/table_bool.mzn
/usr/share/gecode/mznlib/table_int.mzn
/usr/share/gecode/mznlib/value_precede_int.mzn
/usr/share/gecode/mznlib/value_precede_set.mzn