ditigal.xyz
Log in
—
Register
~ruther
/
guix-local
summary
tree
log
refs
ref:
aa0bb0990ef6a7e63dcabadb2ec02bacf264573d
guix-local
/
gnu
/
tests
/data
d---------
Tree
Log
Permalink
aa0bb099
— Maxim Cournoyer gnu: yices: Use gexp variables.
1 year, 4 months ago
..
-rw-r--r--
jami-dummy-account.dat
28.0 KiB