hms/nixos
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Compare commits

base: hms:4b7eeb919a3af2536a28f534b2b80aa52e6b701f
Branches Tags
hms:main
..
compare: hms:d5b2a8832b6439f2c83081ea368e229b4818cdd9
Branches Tags
hms:main

No commits in common. "4b7eeb919a3af2536a28f534b2b80aa52e6b701f" and "d5b2a8832b6439f2c83081ea368e229b4818cdd9" have entirely different histories.
4b7eeb919a ... d5b2a8832b

3 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

1
home/graphical.nix
View file

@ -15,7 +15,6 @@
gnome-solanum gnome-solanum
gnome-tweaks gnome-tweaks
high-tide high-tide
libreoffice
mattermost-desktop mattermost-desktop
nerd-fonts.adwaita-mono nerd-fonts.adwaita-mono
newsflash newsflash

6
shells/why3-dev/flake.lock generated
View file

@ -2,11 +2,11 @@
"nodes": { "nodes": {
"nixpkgs": { "nixpkgs": {
"locked": { "locked": {
"lastModified": 1776169885, "lastModified": 1767116409,
"narHash": "sha256-l/iNYDZ4bGOAFQY2q8y5OAfBBtrDAaPuRQqWaFHVRXM=", "narHash": "sha256-5vKw92l1GyTnjoLzEagJy5V5mDFck72LiQWZSOnSicw=",
"owner": "nixos", "owner": "nixos",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "4bd9165a9165d7b5e33ae57f3eecbcb28fb231c9", "rev": "cad22e7d996aea55ecab064e84834289143e44a0",
"type": "github" "type": "github"
}, },
"original": { "original": {

2
shells/why3-dev/flake.nix
View file

@ -31,7 +31,7 @@
ocamlPackages.lablgtk3 ocamlPackages.lablgtk3
ocamlPackages.lablgtk3-sourceview3 ocamlPackages.lablgtk3-sourceview3
ocamlPackages.camlzip ocamlPackages.camlzip
ocamlPackages.num
# Provers # Provers
alt-ergo alt-ergo
cvc5 cvc5