tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-05-01 23:05:57 +02:00
Code Activity
Files
bb750fa0212fc565a1ecf8a03ce97820c5743c93
guix/gnu/packages/maths.scm
T
Jan Nieuwenhuizen 185152e39e gnu: mcrl2: Update source url. 
* gnu/packages/maths.scm (mcrl2): Update source url.
2019-10-08 23:25:51 +02:00

210 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink