Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

coqPackages.VST: 2.12 → 2.13 #268659

Merged
merged 1 commit into from
Nov 27, 2023
Merged

coqPackages.VST: 2.12 → 2.13 #268659

merged 1 commit into from
Nov 27, 2023

Conversation

vbgl
Copy link
Contributor

@vbgl vbgl commented Nov 20, 2023

coqPackages.compcert: 3.13 → 3.13.1

Description of changes

https://github.com/PrincetonUniversity/VST/blob/v2.13/CHANGES

Things done

  • Built on platform(s)
    • x86_64-linux
    • aarch64-linux
    • x86_64-darwin
    • aarch64-darwin
  • For non-Linux: Is sandboxing enabled in nix.conf? (See Nix manual)
    • sandbox = relaxed
    • sandbox = true
  • Tested, as applicable:
  • Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD". Note: all changes have to be committed, also see nixpkgs-review usage
  • Tested basic functionality of all binary files (usually in ./result/bin/)
  • 23.11 Release Notes (or backporting 23.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.

@vbgl
coqPackages.VST: 2.12 → 2.13
208feca 
coqPackages.compcert: 3.13 → 3.13.1
@vbgl vbgl added 8.has: package (update) This PR updates a package to a newer version 6.topic: coq "A formal proof management system" labels Nov 20, 2023
vbgl added a commit to vbgl/coq-nix-toolbox that referenced this pull request Nov 20, 2023
@vbgl
Update VST to 2.13
6c36f11 
Test NixOS/nixpkgs#268659
@vbgl vbgl mentioned this pull request Nov 20, 2023
Merged
@ofborg ofborg bot requested review from jwiegley and thoughtpolice November 20, 2023 08:34
@vbgl
Copy link
Contributor Author

vbgl commented Nov 20, 2023

Tested successfully: coq-community/coq-nix-toolbox#181

@vbgl vbgl marked this pull request as ready for review November 20, 2023 09:16
@vbgl vbgl merged commit 2ec2d68 into NixOS:master Nov 27, 2023
1 check passed
@vbgl vbgl deleted the coq-VST-2.13 branch November 27, 2023 02:57
@github-actions GitHub Actions
Copy link
Contributor

Successfully created backport PR for release-23.11:

@github-actions github-actions bot mentioned this pull request Nov 27, 2023
Merged
1 task
vbgl added a commit to vbgl/coq-nix-toolbox that referenced this pull request Nov 27, 2023
@vbgl
Update VST to 2.13
2c694cb 
Follows NixOS/nixpkgs#268659
vbgl added a commit to coq-community/coq-nix-toolbox that referenced this pull request Nov 27, 2023
@vbgl
Update VST to 2.13
194ba15 
Follows NixOS/nixpkgs#268659
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jwiegley jwiegley Awaiting requested review from jwiegley

@thoughtpolice thoughtpolice Awaiting requested review from thoughtpolice

Assignees
No one assigned
Labels
6.topic: coq "A formal proof management system" 8.has: package (update) This PR updates a package to a newer version 10.rebuild-darwin: 1-10 10.rebuild-darwin: 1 10.rebuild-linux: 1-10 10.rebuild-linux: 1 11.by: package-maintainer This PR was created by the maintainer of the package it changes
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@vbgl