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

agda-pkg: 0.1.50 -> 0.1.51 #100559

merged 1 commit into from Oct 15, 2020

agda-pkg: 0.1.50 -> 0.1.51 #100559

merged 1 commit into from Oct 15, 2020


Copy link

@r-ryantm r-ryantm commented Oct 15, 2020

Automatic update generated by nixpkgs-update tools. This update was made based on information from passthru.updateScript.

meta.description for agda-pkg is: "Package manager for Agda"

meta.homepage for agda-pkg is: ""

meta.changelog for agda-pkg is: ""

Updates performed
  • Ran passthru.UpdateScript
To inspect upstream changes
Checks done (click to expand)

Rebuild report (if merged into master) (click to expand)
4 total rebuild path(s)

1 package rebuild(s)

1 x86_64-linux rebuild(s)
1 i686-linux rebuild(s)
1 x86_64-darwin rebuild(s)
1 aarch64-linux rebuild(s)

First fifty rebuilds by attrpath
Instructions to test this update (click to expand)

Either download from Cachix:

nix-store -r /nix/store/fm85kg9hmn68hvrs4g028kz3i3hn07c3-agda-pkg-0.1.51 \
  --option binary-caches '' \
  --option trusted-public-keys '

(The Cachix cache is only trusted for this store-path realization.)
For the Cachix download to work, your user must be in the trusted-users list or you can use sudo since root is effectively trusted.

Or, build yourself:

nix-build -A agda-pkg

After you've downloaded or built it, look at the files and if there are any, run the binaries:

ls -la /nix/store/fm85kg9hmn68hvrs4g028kz3i3hn07c3-agda-pkg-0.1.51
ls -la /nix/store/fm85kg9hmn68hvrs4g028kz3i3hn07c3-agda-pkg-0.1.51/bin

Pre-merge build results

We have automatically built all packages that will get rebuilt due to
this change.

This gives evidence on whether the upgrade will break dependent packages.
Note sometimes packages show up as failed to build independent of the
change, simply because they are already broken on the target branch.

Result of nixpkgs-review 1

1 package built:
  • agda-pkg

Maintainer pings

cc @alexarice for testing.

Copy link

@alexarice alexarice commented Oct 15, 2020

Ran nix-review and then tried some simple commands on nixos and it all seems to work. LGTM if the darwin build succeeds.

Copy link

@ryantm ryantm commented Oct 15, 2020

@alexarice waiting for darwin to build might take a long time. Let me know if you want me to merge without waiting for it.

Copy link

@alexarice alexarice commented Oct 15, 2020

It's likely fine to be merged

@ryantm ryantm merged commit 5956325 into NixOS:master Oct 15, 2020
19 of 20 checks passed
@r-ryantm r-ryantm deleted the auto-update/agda-pkg branch Oct 17, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

4 participants