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

Compare commits

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

2 commits
d5b2a8832b ... 4b7eeb919a

Author SHA1 Message Date
Henri Saudubray
4b7eeb919a
chore (shells/why3-dev): update 2026-04-24 09:53:16 +02:00
Henri Saudubray
6a771eb36a
feat (home/graphical): libreoffice 2026-04-24 09:50:35 +02:00
3 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

1
home/graphical.nix
View file

@ -15,6 +15,7 @@
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": 1767116409, "lastModified": 1776169885,
"narHash": "sha256-5vKw92l1GyTnjoLzEagJy5V5mDFck72LiQWZSOnSicw=", "narHash": "sha256-l/iNYDZ4bGOAFQY2q8y5OAfBBtrDAaPuRQqWaFHVRXM=",
"owner": "nixos", "owner": "nixos",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "cad22e7d996aea55ecab064e84834289143e44a0", "rev": "4bd9165a9165d7b5e33ae57f3eecbcb28fb231c9",
"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