MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-19 08:36:41 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

ltl2ba: 1.1 -> 1.2b1

Browse source 
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 1.2b1 in filename of file in /nix/store/jx5s7w6bmd6lfqvxl2lly3ggd4k9ncax-ltl2ba-1.2b1
This commit is contained in:
Ryan Mulligan 2018-03-14 21:06:53 -07:00
parent ba816ee087
commit 9e0ce6562a
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/ltl2ba/default.nix
View file

@ -2,11 +2,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "ltl2ba-${version}"; name = "ltl2ba-${version}";
version = "1.1"; version = "1.2b1";
src = fetchurl { src = fetchurl {
url = "http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/${name}.tar.gz"; url = "http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/${name}.tar.gz";
sha256 = "16z0gc7a9dkarwn0l6rvg5jdhw1q4qyn4501zlchy0zxqddz0sx6"; sha256 = "1f4jnkfkyj8lcc5qfqbiypfc11rhhpqqi6xs9xx5dysg6r6303wm";
}; };
hardeningDisable = [ "format" ]; hardeningDisable = [ "format" ];