···1212# ~/.cabal/config file.
13131414# e.g. username: maralorn
1515-# password-command: pass hackage.haskell.org (this can be any command, but not an arbitrary shell expression.)
1515+# password-command: pass hackage.haskell.org (this can be any command, but not an arbitrary shell expression. Like cabal we only read the first output line and ignore the rest.)
1616# Those fields are specified under `upload` on the `cabal` man page.
17171818package_list="$(nix-build -A haskell.package-list)/nixos-hackage-packages.csv"
1919username=$(grep "^username:" ~/.cabal/config | sed "s/^username: //")
2020password_command=$(grep "^password-command:" ~/.cabal/config | sed "s/^password-command: //")
2121-curl -u "$username:$($password_command)" --digest -H "Content-type: text/csv" -T "$package_list" http://hackage.haskell.org/distro/NixOS/packages.csv
2121+curl -u "$username:$($password_command | head -n1)" --digest -H "Content-type: text/csv" -T "$package_list" http://hackage.haskell.org/distro/NixOS/packages.csv
···3333 meta = with lib; {
3434 description = "A little krunner plugin (Plasma 5) to retrieve unicode symbols, or any other string, based on a corresponding keyword";
3535 homepage = "https://github.com/domschrei/krunner-symbols";
3636- license = licenses.gpl3Only;
3636+ license = licenses.gpl3Plus;
3737 maintainers = with maintainers; [ hqurve ];
3838 platforms = platforms.linux;
3939 };
+9-4
pkgs/development/coq-modules/interval/default.nix
···11-{ lib, mkCoqDerivation, which, autoconf, coq, coquelicot, flocq, bignums ? null, version ? null }:
11+{ lib, mkCoqDerivation, which, autoconf, coq, coquelicot, flocq, bignums ? null, gnuplot_qt, version ? null }:
2233-with lib; mkCoqDerivation {
33+with lib; mkCoqDerivation rec {
44 pname = "interval";
55 owner = "coqinterval";
66 domain = "gitlab.inria.fr";
77 inherit version;
88 defaultVersion = with versions; switch coq.coq-version [
99- { case = isGe "8.8" ; out = "4.1.1"; }
99+ { case = isGe "8.8" ; out = "4.3.0"; }
1010 { case = range "8.8" "8.12"; out = "4.0.0"; }
1111 { case = range "8.7" "8.11"; out = "3.4.2"; }
1212 { case = range "8.5" "8.6"; out = "3.3.0"; }
1313 ] null;
1414+ release."4.3.0".sha256 = "sha256-k8DLC4HYYpHeEEgXUafS8jkaECqlM+/CoYaInmUTYko=";
1515+ release."4.2.0".sha256 = "sha256-SD5thgpirs3wmZBICjXGpoefg9AAXyExb5t8tz3iZhE=";
1416 release."4.1.1".sha256 = "sha256-h2NJ6sZt1C/88v7W2xyuftEDoyRt3H6kqm5g2hc1aoU=";
1517 release."4.0.0".sha256 = "1hhih6zmid610l6c8z3x4yzdzw9jniyjiknd1vpkyb2rxvqm3gzp";
1618 release."3.4.2".sha256 = "07ngix32qarl3pjnm9d0vqc9fdrgm08gy7zp306hwxjyq7h1v7z0";
···1820 releaseRev = v: "interval-${v}";
19212022 nativeBuildInputs = [ which autoconf ];
2121- propagatedBuildInputs = [ bignums coquelicot flocq ];
2323+ propagatedBuildInputs = [ bignums coquelicot flocq ]
2424+ ++ lib.optionals (versions.isGe "4.2.0" defaultVersion) [ gnuplot_qt ];
2225 useMelquiondRemake.logpath = "Interval";
2626+ mlPlugin = true;
2727+ enableParallelBuilding = true;
23282429 meta = with lib; {
2530 description = "Tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant";
+2-2
pkgs/development/interpreters/erlang/R24.nix
···33# How to obtain `sha256`:
44# nix-prefetch-url --unpack https://github.com/erlang/otp/archive/OTP-${version}.tar.gz
55mkDerivation {
66- version = "24.0.4";
77- sha256 = "OeXXNaVJh5el+V+5ukcNOAgDmkJuGy1lYLpUTd1yxHM=";
66+ version = "24.0.5";
77+ sha256 = "4ZyYcBhep67aPr8SY7JK/3YXD5Th8UcyjTP7UIZ5c5Q=";
88}
+3-3
pkgs/development/interpreters/yabasic/default.nix
···10101111stdenv.mkDerivation rec {
1212 pname = "yabasic";
1313- version = "2.89.1";
1313+ version = "2.90.1";
14141515 src = fetchurl {
1616 url = "http://www.yabasic.de/download/${pname}-${version}.tar.gz";
1717- hash = "sha256-k8QmQCpszLyotEiWDrG878RM2wqSq7I4W9j6Z2Ub3Yg=";
1717+ hash = "sha256-9LqiwS3Udql3YZoufo3spVpE46me3McI8L08TpNJpJo=";
1818 };
19192020 buildInputs = [
···2626 ];
27272828 meta = with lib; {
2929- homepage = "http://www.yabasic.de/";
2929+ homepage = "http://2484.de/yabasic/";
3030 description = "Yet another BASIC";
3131 longDescription = ''
3232 Yabasic is a traditional basic-interpreter. It comes with goto and various