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

ocamlPackages.mlgmpidl: 1.2.11 -> 1.2.12 #78617



Copy link

@r-ryantm r-ryantm commented Jan 27, 2020

Semi-automatic update generated by tools. This update was made based on information from

meta.description for ocamlPackages.mlgmpidl is: '"OCaml interface to the GMP library"'.

meta.homepage for ocamlPackages.mlgmpidl is: '""

Compare changes on GitHub

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

6 total rebuild path(s)

3 package rebuild(s)

3 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/6y0gxl1rsl176p908dvp6d4yjs6wfqml-ocaml4.07.1-mlgmpidl-1.2.12 \
  --option binary-caches '' \
  --option trusted-public-keys '

(r-ryantm's 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 ocamlPackages.mlgmpidl

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

ls -la /nix/store/6y0gxl1rsl176p908dvp6d4yjs6wfqml-ocaml4.07.1-mlgmpidl-1.2.12
ls -la /nix/store/6y0gxl1rsl176p908dvp6d4yjs6wfqml-ocaml4.07.1-mlgmpidl-1.2.12/bin

cc @vbgl for testing.

@vbgl vbgl mentioned this pull request Jan 28, 2020
4 of 10 tasks complete
@vbgl vbgl closed this in #78697 Feb 3, 2020
@r-ryantm r-ryantm deleted the r-ryantm:auto-update/ocaml4.07.1-mlgmpidl branch Feb 4, 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

1 participant
You can’t perform that action at this time.