Unverified Commit ca9b68fa authored by Naïm Camille Favier's avatar Naïm Camille Favier Committed by GitHub
Browse files

agdaPackages._1lab: add updateScript and make version follow convention (#485468)

parents 56bd78cc bd6d30ff

pkgs/development/libraries/agda/1lab/default.nix

+4 −1
Original line number Diff line number Diff line
@@ -2,11 +2,12 @@ 
  lib,

  mkDerivation,

  fetchFromGitHub,

  unstableGitUpdater,

}:



mkDerivation {

  pname = "1lab";

  version = "unstable-2025-07-01";

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



  src = fetchFromGitHub {

    owner = "the1lab";
@@ -25,6 +26,8 @@ mkDerivation { 
    sed -Ei '/OPTIONS/s/ -v ?[^ #]+//g' "''${files[@]}"

  '';



  passthru.updateScript = unstableGitUpdater { };



  meta = {

    description = "Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory ";

    homepage = "https://github.com/the1lab/1lab";