Skip to content

rocqPackages.micromega-plugin: init at 1.0.0#516906

Merged
vbgl merged 3 commits intoNixOS:masterfrom
proux01:micromega
May 6, 2026
Merged

rocqPackages.micromega-plugin: init at 1.0.0#516906
vbgl merged 3 commits intoNixOS:masterfrom
proux01:micromega

Conversation

@proux01
Copy link
Copy Markdown
Contributor

@proux01 proux01 commented May 5, 2026 •
edited
Loading

Prepare for math-comp/math-comp#1456

Things done

  • Built on platform:
    • x86_64-linux
    • aarch64-linux
    • x86_64-darwin
    • aarch64-darwin
  • Tested, as applicable:
  • Ran nixpkgs-review on this PR. See nixpkgs-review usage.
  • Tested basic functionality of all binary files, usually in ./result/bin/.
  • Nixpkgs Release Notes
    • Package update: when the change is major or breaking.
  • NixOS Release Notes
    • Module addition: when adding a new NixOS module.
    • Module update: when the change is significant.
  • Fits CONTRIBUTING.md, pkgs/README.md, maintainers/README.md and other READMEs.

@proux01 proux01 changed the title Micromega rocqPackages.micromega-plugin: init at 1.0.0 May 5, 2026
@proux01 proux01 mentioned this pull request May 5, 2026
Merged
@nixpkgs-ci nixpkgs-ci Bot added 8.has: package (new) This PR adds a new package 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux. 10.rebuild-darwin: 1-10 This PR causes between 1 and 10 packages to rebuild on Darwin. 6.topic: coq A formal proof management system labels May 5, 2026
@proux01 proux01 force-pushed the micromega branch 2 times, most recently from b2ae6ee to 34ce08d Compare May 6, 2026 06:45
@nixpkgs-ci nixpkgs-ci Bot added 10.rebuild-darwin: 1 This PR causes 1 package to rebuild on Darwin. 10.rebuild-linux: 1 This PR causes 1 package to rebuild on Linux. labels May 6, 2026
@proux01 proux01 force-pushed the micromega branch 2 times, most recently from b4090a6 to 5fcdbfa Compare May 6, 2026 09:39
@nixpkgs-ci nixpkgs-ci Bot removed 10.rebuild-darwin: 1 This PR causes 1 package to rebuild on Darwin. 10.rebuild-linux: 1 This PR causes 1 package to rebuild on Linux. labels May 6, 2026
@proux01 proux01 marked this pull request as ready for review May 6, 2026 13:34
@proux01
Copy link
Copy Markdown
Contributor Author

proux01 commented May 6, 2026

@vbgl CI green both here and on rocq-community/coq-nix-toolbox#462 (and successfully tested on math-comp/math-comp#1456 )

@nixpkgs-ci nixpkgs-ci Bot requested review from siraben and vbgl May 6, 2026 13:39
@vbgl vbgl added this pull request to the merge queue May 6, 2026
Merged via the queue into NixOS:master with commit fa04c27 May 6, 2026
26 checks passed
@proux01
Copy link
Copy Markdown
Contributor Author

proux01 commented May 7, 2026

Thanks

@proux01 proux01 deleted the micromega branch May 7, 2026 08:25
proux01 added a commit to proux01/coq-nix-toolbox that referenced this pull request May 7, 2026
@proux01
rocqPackages.micromega-plugin: init at 1.0.0
8c3a226 
Following merge of NixOS/nixpkgs#516906
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@siraben siraben Awaiting requested review from siraben

@vbgl vbgl Awaiting requested review from vbgl

Assignees

No one assigned

Labels

6.topic: coq A formal proof management system 8.has: package (new) This PR adds a new package 10.rebuild-darwin: 1-10 This PR causes between 1 and 10 packages to rebuild on Darwin. 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@proux01 @vbgl