ditigal.xyz
Log in
—
Register
~ruther
/
guix-local
summary
tree
log
refs
ref:
28ce5085a0a4191c27aecdc085600acf585b607c
guix-local
/scripts
d---------
Tree
Log
Permalink
28ce5085
— Jean-Pierre De Jesus DIAZ gnu: frama-c: Update to 28.1.
2 years ago
..
-rw-r--r--
guix.in
1.9 KiB