coqPackages.contribs.zfc: enable for Coq 8.8

[vbgl]

Motivation for this change

This library is compatible with Coq 8.8!

Things done

• Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS)
• Built on platform(s)
  • NixOS
  • macOS
  • other Linux distributions
• Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
• Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
• Tested execution of all binary files (usually in ./result/bin/)
• Determined the impact on package closure size (by running nix path-info -S before and after)
• Fits CONTRIBUTING.md.

---

[vbgl]

@GrahamcOfBorg build coqPackages.contribs.zfc

[GrahamcOfBorg]

Success on aarch64-linux (full log)

Attempted: coqPackages.contribs.zfc

Partial log (click to expand)

make[2]: Entering directory '/build/source'
make[2]: Leaving directory '/build/source'
make[1]: Leaving directory '/build/source'
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/jb12m9qhcnqif6kb60zv8c4czgyxqcsq-coq8.8-zfc-v8.5.0-5-gbba3259
strip is /nix/store/p9akxn2sfy4wkhqdqa3li97pc6jaz3r1-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/jb12m9qhcnqif6kb60zv8c4czgyxqcsq-coq8.8-zfc-v8.5.0-5-gbba3259/lib
patching script interpreter paths in /nix/store/jb12m9qhcnqif6kb60zv8c4czgyxqcsq-coq8.8-zfc-v8.5.0-5-gbba3259
checking for references to /build in /nix/store/jb12m9qhcnqif6kb60zv8c4czgyxqcsq-coq8.8-zfc-v8.5.0-5-gbba3259...
/nix/store/jb12m9qhcnqif6kb60zv8c4czgyxqcsq-coq8.8-zfc-v8.5.0-5-gbba3259

[GrahamcOfBorg]

Timed out, unknown build status on x86_64-darwin (full log)

Attempted: coqPackages.contribs.zfc

Partial log (click to expand)

cannot build derivation '/nix/store/igk7ljlj5ii48yz194j440pgzf02sjpv-pango-1.42.4.drv': 15 dependencies couldn't be built
cannot build derivation '/nix/store/0dih51q6h9hdd412jgy2qx3x20y5zr7x-gtk+-2.24.32.drv': 19 dependencies couldn't be built
cannot build derivation '/nix/store/mlw9figs2r1689386b837ks683zbn7cl-gtk-mac-integration-2.0.8.drv': 7 dependencies couldn't be built
cannot build derivation '/nix/store/nqfvl9cys30mx2k82kgyjzp5lhxak9jj-libglade-2.6.4.drv': 6 dependencies couldn't be built
cannot build derivation '/nix/store/w8gvnp6bf3xjgcivsrh5mdrwiv0fl65b-gtksourceview-2.10.5.drv': 14 dependencies couldn't be built
cannot build derivation '/nix/store/y5jgx9zmbn0xn0rih1ad74h9c8kply84-libgnomecanvas-2.30.3.drv': 6 dependencies couldn't be built
cannot build derivation '/nix/store/c6g6klym6970cs9ra9bhiqs54mc332l9-lablgtk-2.18.6.drv': 8 dependencies couldn't be built
cannot build derivation '/nix/store/5ir1bsa32n1c3l32njjgxjldyxi9zjr4-coq-8.8.2.drv': 9 dependencies couldn't be built
cannot build derivation '/nix/store/2ikhsd0r2l21a0hj39v7gmlx04sd6r7a-coq8.8-zfc-v8.5.0-5-gbba3259.drv': 6 dependencies couldn't be built
error: build of '/nix/store/2ikhsd0r2l21a0hj39v7gmlx04sd6r7a-coq8.8-zfc-v8.5.0-5-gbba3259.drv' failed

[GrahamcOfBorg]

Success on x86_64-linux (full log)

Attempted: coqPackages.contribs.zfc

Partial log (click to expand)

make[2]: Entering directory '/build/source'
make[2]: Leaving directory '/build/source'
make[1]: Leaving directory '/build/source'
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/6c080fw6cdgmpvfa4lcrmf8rad69ry71-coq8.8-zfc-v8.5.0-5-gbba3259
strip is /nix/store/vcc4svb8gy29g4pam2zja6llkbcwsyiq-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/6c080fw6cdgmpvfa4lcrmf8rad69ry71-coq8.8-zfc-v8.5.0-5-gbba3259/lib
patching script interpreter paths in /nix/store/6c080fw6cdgmpvfa4lcrmf8rad69ry71-coq8.8-zfc-v8.5.0-5-gbba3259
checking for references to /build in /nix/store/6c080fw6cdgmpvfa4lcrmf8rad69ry71-coq8.8-zfc-v8.5.0-5-gbba3259...
/nix/store/6c080fw6cdgmpvfa4lcrmf8rad69ry71-coq8.8-zfc-v8.5.0-5-gbba3259