JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

c0: unstable-2022-10-25 -> unstable-2023-09-05

Browse Source 
Diff: 608f97eef5%0D7ef3bc9ca232ec41936e93ec8957051e48cacfba#diff
This commit is contained in:
Mario Rodas 2023-10-30 04:20:00 +00:00
parent 04ba740f89
commit 99835e7d6b
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/development/compilers/c0/default.nix
View File

@ -10,17 +10,18 @@
, libpng
, ncurses
, readline
, unstableGitUpdater
}:
stdenv.mkDerivation rec {
pname = "c0";
version = "unstable-2022-10-25";
version = "unstable-2023-09-05";
src = fetchFromBitbucket {
owner = "c0-lang";
repo = "c0";
rev = "7ef3bc9ca232ec41936e93ec8957051e48cacfba";
sha256 = "sha256-uahF8fOp2ZJE8EhZke46sbPmN0MNHzsLkU4EXkV710U=";
rev = "608f97eef5d81bb85963d66f955730dd93996f67";
hash = "sha256-lRIEtclx+NKxAO72nsvnxVeEGCEe6glC6w8MXh1HEwY=";
};
patches = [
@ -67,6 +68,10 @@ stdenv.mkDerivation rec {
mv $out/c0-mode/ $out/share/emacs/site-lisp/
'';
passthru.updateScript = unstableGitUpdater {
url = "https://bitbucket.org/c0-lang/c0.git";
};
meta = with lib; {
description = "A small safe subset of the C programming language, augmented with contracts";
homepage = "https://c0.cs.cmu.edu/";