diff options
Diffstat (limited to 'gnu/packages/gnome.scm')
| -rw-r--r-- | gnu/packages/gnome.scm | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 0a707b2acf..3d9b9822cb 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -131,6 +131,7 @@ #:use-module (gnu packages xdisorg) #:use-module (gnu packages freedesktop) #:use-module (gnu packages mail) + #:use-module (gnu packages mono) #:use-module (gnu packages kerberos) #:use-module (gnu packages multiprecision) #:use-module (gnu packages backup) @@ -7116,3 +7117,31 @@ into audio files that a personal computer or digital audio player can play. It supports ripping to any audio codec supported by a GStreamer plugin, such as mp3, Ogg Vorbis and FLAC") (license license:gpl2+))) + +(define-public gbrainy + (package + (name "gbrainy") + (version "2.3.4") ;;TODO This version should fix the gmcs/mcs issue + (source + (origin + (method url-fetch) + (uri (string-append + "https://gent.softcatala.org/jmas/gbrainy/" + name "-" version ".tar.gz")) + (sha256 + (base32 + "1zczvrxr0y20sqn0afzl0bwpy90dndk50xh9by4yw8p2v9j59pqd")))) + (build-system glib-or-gtk-build-system) + (native-inputs + `(("intltool" ,intltool) + ("pkg-config" ,pkg-config) + ("mono" ,mono) + ("itstool" ,itstool) + ("libxml2" ,libxml2))) + (inputs + `(("glib" ,glib) + ("gtk-sharp" ,gtk-sharp))) + (home-page "") + (synopsis "") + (description "") + (license license:gpl2+))) |