ltl2ba: 1.2 -> 1.3

[r-ryantm]

Semi-automatic update generated by nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/ltl2ba/versions.

meta.description for ltl2ba is: "Fast translation from LTL formulae to Buchi automata"

meta.homepage for ltl2ba is: "http://www.lsv.ens-cachan.fr/~gastin/ltl2ba"

meta.changelog for ltl2ba is: ""

Updates performed

• Version update

To inspect upstream changes

Impact

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.

• directory tree listing: https://gist.github.com/61af485cee93c50b047e07e5d539f4e5

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

---

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

8 total rebuild path(s)

2 package rebuild(s)

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


First fifty rebuilds by attrpath
framac
ltl2ba

Instructions to test this update (click to expand)

---

Either download from Cachix:

nix-store -r /nix/store/130rzq2b6xigg4py7wkcyjiarhcj1pa1-ltl2ba-1.3 \
  --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.)
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 ltl2ba https://github.com/r-ryantm/nixpkgs/archive/12b36a950b290bce8dcf9358273fab1d9927044f.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/130rzq2b6xigg4py7wkcyjiarhcj1pa1-ltl2ba-1.3
ls -la /nix/store/130rzq2b6xigg4py7wkcyjiarhcj1pa1-ltl2ba-1.3/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

2 packages built:

- framac
- ltl2ba

---

Maintainer pings

cc @thoughtpolice for testing.