AgdaStdlib: 1.1 -> 1.2

[r-ryantm]

Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/agda-stdlib/versions.

meta.description for AgdaStdlib is: '"A standard library for use with the Agda compiler"'.

meta.homepage for AgdaStdlib is: '"http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary"

Release on GitHub

Compare changes on GitHub

Checks done (click to expand)

• built on NixOS

• The tests defined in passthru.tests, if any, passed

• 0 of 0 passed binary check by having a zero exit code.

• 0 of 0 passed binary check by having the new version present in output.

• found 1.2 with grep in /nix/store/bvq06j5zzmg27kanjac87fiy7vhg0p0i-agda-stdlib-1.2

• directory tree listing: https://gist.github.com/064074a29cce96d44623addc5ead7315

• du listing: https://gist.github.com/b7ab80f1e39c20dd931142a35d50876c

Rebuild report (if merged into master) (click to expand)

20 total rebuild path(s)

5 package rebuild(s)

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

First fifty rebuilds by attrpath
AgdaStdlib
TotalParserCombinators
bitvector
categories
pretty

Instructions to test this update (click to expand)

Either download from Cachix:

nix-store -r /nix/store/bvq06j5zzmg27kanjac87fiy7vhg0p0i-agda-stdlib-1.2 \
  --option binary-caches 'https://cache.nixos.org/ https://r-ryantm.cachix.org/' \
  --option trusted-public-keys '
  r-ryantm.cachix.org-1:gkUbLkouDAyvBdpBX0JOdIiD2/DP1ldF3Z3Y6Gqcc4c=
  cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
  '

(r-ryantm's Cachix cache is only trusted for this store-path realization.)

Or, build yourself:

nix-build -A AgdaStdlib https://github.com/r-ryantm/nixpkgs/archive/ef9d97ec687f079f2256345e2a7bc5175f90df91.tar.gz

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

ls -la /nix/store/bvq06j5zzmg27kanjac87fiy7vhg0p0i-agda-stdlib-1.2
ls -la /nix/store/bvq06j5zzmg27kanjac87fiy7vhg0p0i-agda-stdlib-1.2/bin

cc @jwiegley @laMudri for testing.

[jonringer]

closing in favor of #76653