nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-06-05 21:03:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

alt-ergo: 2.6.2 -> 2.6.3

Browse Source 
Release: https://github.com/OCamlPro/alt-ergo/releases/tag/v2.6.3
Diff: https://github.com/OCamlPro/alt-ergo/compare/v2.6.2...v2.6.3
This commit is contained in:
Pierre Villemot
2026-04-14 14:23:26 +02:00
parent 8be633b54a
commit 5f2a6394f0
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/by-name/al/alt-ergo/package.nix
View File

@@ -8,11 +8,11 @@
let
pname = "alt-ergo";
version = "2.6.2";
version = "2.6.3";
src = fetchurl {
url = "https://github.com/OCamlPro/alt-ergo/releases/download/v${version}/alt-ergo-${version}.tbz";
hash = "sha256-OeLJEop9HonzMuMaJxbzWfO54akl/oHxH6SnSbXSTYI=";
hash = "sha256-SsK12K5sVKEaDMNJ7HahU6qVcnv1fvnLMwmnBqf7G/o=";
};
in