search

NixOS / nixpkgs

Nix Packages collection & NixOS
MIT License
18.39k stars 14.34k forks source link

Revive Coq 8.4 #54556

Open Reilithion opened 5 years ago

Reilithion commented 5 years ago

Commit 8df0ca2b removed the Coq 8.4 package. My colleagues and I still depend on that version of Coq for research. We do intend to eventually port our work to a newer version of Coq, but for now, having to use an old nixpkgs or have our own overlay to build our project would be inconvenient.

If having Coq 8.4 in nixpkgs isn't too big a burden, it'd be nice to have it back.

danbst commented 5 years ago

cc @Mic92

stale[bot] commented 4 years ago

Thank you for your contributions.

This has been automatically marked as stale because it has had no activity for 180 days.

If this is still important to you, we ask that you leave a comment below. Your comment can be as simple as "still important to me". This lets people see that at least one person still cares about this. Someone will have to do this at most twice a year if there is no other activity.

Here are suggestions that might help resolve this more quickly:

  1. Search for maintainers and people that previously touched the related code and @ mention them in a comment.
  2. Ask on the NixOS Discourse.
  3. Ask on the #nixos channel on irc.freenode.net.