From 824ce306af408fc87c90587cdb7d3d4aefd89ca0 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 30 Jul 2024 15:11:00 +0200
Subject: [PATCH] [ci] bump nixpkgs version for llvm-18 and frama-clang
---
nix/sources.json | 20 ++++++++++----------
1 file changed, 10 insertions(+), 10 deletions(-)
diff --git a/nix/sources.json b/nix/sources.json
index d275678e16f..3d640c20e46 100644
--- a/nix/sources.json
+++ b/nix/sources.json
@@ -1,4 +1,11 @@
{
+ "combinetura": {
+ "branch": "master",
+ "repo": "git@git.frama-c.com:dev/combinetura.git",
+ "rev": "91918a91271d38df3b5223fa40898ca329779407",
+ "type": "git",
+ "version": "0.0"
+ },
"gitignore.nix": {
"branch": "master",
"description": "Nix functions for filtering local git sources",
@@ -29,10 +36,10 @@
"homepage": "https://github.com/NixOS/nixpkgs",
"owner": "NixOS",
"repo": "nixpkgs",
- "rev": "3030f185ba6a4bf4f18b87f345f104e6a6961f34",
- "sha256": "0v5q4zadnmdiv8hwcsx804l8radx562aqdw0r5nld127c8f7jzz8",
+ "rev": "80e3c2c5d0d2138fad54896a19dc64260a066304",
+ "sha256": "00nxxwiscc4nbl94d66989hyfkvir2flk8r8rgfm8m8qqx78dcsb",
"type": "tarball",
- "url": "https://github.com/NixOS/nixpkgs/archive/3030f185ba6a4bf4f18b87f345f104e6a6961f34.tar.gz",
+ "url": "https://github.com/NixOS/nixpkgs/archive/80e3c2c5d0d2138fad54896a19dc64260a066304.tar.gz",
"url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
},
"why3": {
@@ -41,12 +48,5 @@
"rev": "ee474fdf493de18a702f9c503e104cea58dc22af",
"type": "git",
"version": "1.7.1"
- },
- "combinetura": {
- "branch": "master",
- "repo": "git@git.frama-c.com:dev/combinetura.git",
- "rev": "91918a91271d38df3b5223fa40898ca329779407",
- "type": "git",
- "version": "0.0"
}
}
--
GitLab