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.

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

coqPackages.paco: 1.2.8 -> 4.0.0 #73006

Merged
merged 1 commit into from Nov 8, 2019
Merged

coqPackages.paco: 1.2.8 -> 4.0.0 #73006

merged 1 commit into from Nov 8, 2019

Conversation

@Ptival
Copy link
Contributor

Ptival commented Nov 7, 2019

Tested:
[x] building for Coq 8.5 through 8.9

@jwiegley mind if I update this package?

@c0bw3b

This comment has been minimized.

Copy link
Contributor

c0bw3b commented Nov 7, 2019

@vbgl

This comment has been minimized.

Copy link
Contributor

vbgl commented Nov 8, 2019

@GrahamcOfBorg build coqPackages.paco

@vbgl vbgl merged commit ea8e3f5 into NixOS:master Nov 8, 2019
15 checks passed
15 checks passed
Evaluation Performance Report Evaluator Performance Report
Details
coqPackages.paco on aarch64-linux Success
Details
coqPackages.paco on x86_64-darwin Success
Details
coqPackages.paco on x86_64-linux Success
Details
grahamcofborg-eval ^.^!
Details
grahamcofborg-eval-check-meta config.nix: checkMeta = true
Details
grahamcofborg-eval-darwin nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="ofborg"; } ./pkgs/top-level/release.nix -A darwin-tested
Details
grahamcofborg-eval-nixos nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="ofborg"; } ./nixos/release-combined.nix -A tested
Details
grahamcofborg-eval-nixos-manual nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="ofborg"; } ./nixos/release.nix -A manual
Details
grahamcofborg-eval-nixos-options nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="ofborg"; } ./nixos/release.nix -A options
Details
grahamcofborg-eval-nixpkgs-manual nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="ofborg"; } ./pkgs/top-level/release.nix -A manual
Details
grahamcofborg-eval-nixpkgs-tarball nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="ofborg"; } ./pkgs/top-level/release.nix -A tarball
Details
grahamcofborg-eval-nixpkgs-unstable-jobset nix-instantiate --arg nixpkgs { outPath=./.; revCount=999999; shortRev="ofborg"; } ./pkgs/top-level/release.nix -A unstable
Details
grahamcofborg-eval-package-list nix-env -qa --json --file .
Details
grahamcofborg-eval-package-list-no-aliases nix-env -qa --json --file . --arg config { allowAliases = false; }
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
3 participants
You can’t perform that action at this time.