Motivation for this change

The attribute compatibleCoqVersions is set but not used, unless a recursive filtering is used.

Therefore, there are currently a lot of broken packages (e.g., coqPackages.contribs.continuations).

The revision for containers is also fixed: released version, that builds with 8.6.

@jwiegley Thanks for contributing the whole set of contribs to nixpkgs. Going through a pull-request could have helped finding and fixing this issue before merging a lot of broken stuff to master.

Things done

• Tested using sandboxing (nix.useSandbox on NixOS, or option build-use-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/)
• Fits CONTRIBUTING.md.