Unverified Commit a746b2c7 authored by Felix Bargfeldt's avatar Felix Bargfeldt Committed by GitHub
Browse files

bruijn: 0-unstable-2025-11-01 -> 0-unstable-2025-12-07, remove version override (#477471)

parents db4c9c47 c5d36d11

pkgs/by-name/br/bruijn/generated.nix

+3 −3
Original line number Diff line number Diff line
@@ -22,10 +22,10 @@ 
}:

mkDerivation {

  pname = "bruijn";

  version = "0.1.0.0";

  version = "0-unstable-2025-12-07";

  src = fetchzip {

    url = "https://github.com/marvinborner/bruijn/archive/c37a9d27b9f654b1e0118d32269a1548800b062b.tar.gz";

    sha256 = "1a667693agsc559yy4k04gxv1hlsgkn3aw64yvg876fbn5dr7sk3";

    url = "https://github.com/marvinborner/bruijn/archive/3f329f0299c944205293eceec72be25418fd9f0b.tar.gz";

    sha256 = "0qx7x50bz0yw0iwg4ymxipzqbh7ki729rbfwxrmijnwbxijlsr01";

  };

  isLibrary = true;

  isExecutable = true;

pkgs/by-name/br/bruijn/package.nix

+0 −2
Original line number Diff line number Diff line
@@ -10,8 +10,6 @@ let 
  generated = haskellPackages.callPackage ./generated.nix { };



  overrides = {

    version = lib.fileContents ./version.txt;



    passthru.updateScript = ./update.sh;



    description = "Purely functional programming language based on lambda calculus and de Bruijn indices";

pkgs/by-name/br/bruijn/update.sh

+4 −3
Original line number Diff line number Diff line 
#!/usr/bin/env nix-shell

#!nix-shell -i bash -p coreutils cabal2nix curl jq

#!nix-shell -i bash -p coreutils cabal2nix curl jq nixfmt gnused



set -euo pipefail
@@ -9,8 +9,9 @@ cd "$(dirname "${BASH_SOURCE[0]}")" 
  < <(curl ${GITHUB_TOKEN:+-u ":$GITHUB_TOKEN"} -sfL https://api.github.com/repos/marvinborner/bruijn/branches/main \

    | jq -r '.commit | .sha, .commit.committer.date')



version="0-unstable-$(date -I --date="$committer_date")"



cabal2nix --maintainer defelo "https://github.com/marvinborner/bruijn/archive/${rev}.tar.gz" \

  | nixfmt \

  | sed -E 's/\bversion = "[^"]+";/version = "'"${version}"'";/' \

  > generated.nix
 


echo "0-unstable-$(date -I --date="$committer_date")" > version.txt

pkgs/by-name/br/bruijn/version.txt

deleted100644 → 0
+0 −1
Original line number Diff line number Diff line 
0-unstable-2025-11-01