Skip to content

coqPackages.corn: c366d3f01ec1812b145117a4da940518b092d3a6 -> 8.13.0#136989

Merged
vbgl merged 1 commit intoNixOS:masterfrom
Zimmi48:corn-8.13.0
Sep 8, 2021
Merged

coqPackages.corn: c366d3f01ec1812b145117a4da940518b092d3a6 -> 8.13.0#136989
vbgl merged 1 commit intoNixOS:masterfrom
Zimmi48:corn-8.13.0

Conversation

@Zimmi48
Copy link
Member

@Zimmi48 Zimmi48 commented Sep 7, 2021 •
edited
Loading

Motivation for this change

Fix to use a released version.

Things done
  • Built on platform(s)
    • x86_64-linux
    • aarch64-linux
    • x86_64-darwin
    • aarch64-darwin
  • For non-Linux: Is sandbox = true set in nix.conf? (See Nix manual)
  • Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • 21.11 Release Notes (or backporting 21.05 Release notes)
    • (Package updates) Added a release notes entry if the change is major or breaking
    • (Module updates) Added a release notes entry if the change is significant
    • (Module addition) Added a release notes entry if adding a new NixOS module
  • Fits CONTRIBUTING.md.

Zimmi48 added a commit to rocq-community/coq-nix-toolbox that referenced this pull request Sep 7, 2021
@Zimmi48
Test NixOS/nixpkgs#136989.
014bf98
@Zimmi48
Copy link
Member Author

Zimmi48 commented Sep 7, 2021 •
edited
Loading

Testing at rocq-community/coq-nix-toolbox#63 (passed).

@Zimmi48 Zimmi48 requested a review from vbgl September 7, 2021 14:33
@Zimmi48 Zimmi48 mentioned this pull request Sep 7, 2021
Closed
@ofborg ofborg bot added 10.rebuild-darwin: 1-10 This PR causes between 1 and 10 packages to rebuild on Darwin. 10.rebuild-darwin: 1 This PR causes 1 package to rebuild on Darwin. 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux. 10.rebuild-linux: 1 This PR causes 1 package to rebuild on Linux. labels Sep 7, 2021
@vbgl vbgl merged commit 1eebd96 into NixOS:master Sep 8, 2021
@Zimmi48
Copy link
Member Author

Zimmi48 commented Sep 8, 2021

Thanks!

@cpground cpground mentioned this pull request Sep 9, 2021
Merged
@Zimmi48 Zimmi48 deleted the corn-8.13.0 branch September 21, 2021 09:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@vbgl vbgl Awaiting requested review from vbgl

Assignees

No one assigned

Labels

10.rebuild-darwin: 1-10 This PR causes between 1 and 10 packages to rebuild on Darwin. 10.rebuild-darwin: 1 This PR causes 1 package to rebuild on Darwin. 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux. 10.rebuild-linux: 1 This PR causes 1 package to rebuild on Linux.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@Zimmi48 @vbgl