diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2018-05-15 13:03:12 +0200 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2018-05-15 13:03:12 +0200 |
commit | 5d38dd48cc8e5349803064eb521117b3f20b3c74 (patch) | |
tree | d1e9785b40a1e5ee868b548073381c5c3f7200b5 /trivmix.nix | |
parent | 72dfd7bdb13e71c04604c0458582960259ec8fbf (diff) | |
download | trivmix-5d38dd48cc8e5349803064eb521117b3f20b3c74.tar trivmix-5d38dd48cc8e5349803064eb521117b3f20b3c74.tar.gz trivmix-5d38dd48cc8e5349803064eb521117b3f20b3c74.tar.bz2 trivmix-5d38dd48cc8e5349803064eb521117b3f20b3c74.tar.xz trivmix-5d38dd48cc8e5349803064eb521117b3f20b3c74.zip |
Shorten '--level' to '-l'
Diffstat (limited to 'trivmix.nix')
-rw-r--r-- | trivmix.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/trivmix.nix b/trivmix.nix index a823793..0882731 100644 --- a/trivmix.nix +++ b/trivmix.nix | |||
@@ -5,7 +5,7 @@ | |||
5 | }: | 5 | }: |
6 | mkDerivation { | 6 | mkDerivation { |
7 | pname = "trivmix"; | 7 | pname = "trivmix"; |
8 | version = "3.0.0"; | 8 | version = "3.1.0"; |
9 | src = ./.; | 9 | src = ./.; |
10 | isLibrary = true; | 10 | isLibrary = true; |
11 | isExecutable = true; | 11 | isExecutable = true; |