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-tweaks
high-tide
libreoffice
mattermost-desktop
nerd-fonts.adwaita-mono
newsflash

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

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

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

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