gnu: Add omnitux.
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Fri, 27 Dec 2019 23:28:15 +0000 (00:28 +0100)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Tue, 28 Jan 2020 09:33:30 +0000 (10:33 +0100)
commit3450bb81e212187a2c65d7e884668d4fc805ef09
tree0b1368e5c1f46903e4050562211b642fd3a08568
parent2fe83ce10fcfc50d49cdafe2d6981adaf4a27d9d
gnu: Add omnitux.

* gnu/packages/education.scm (omnitux): New variable.
gnu/packages/education.scm