| |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* gnu/packages/education.scm (tipp10): Update to 3.3.0.
[source]: Use git-fetch. Drop obsolete patches.
[build-system]: Use qt-build-system.
[arguments]: Add #:qtbase. Remove #:phases.
[inputs]: Replace qtbase-5 with qtbase, qtmultimedia-5 with qtmultimedia.
[home-page]: Update home page.
[license]: Add comment.
* gnu/packages/patches/tipp10-disable-downloader.patch: Delete file.
* gnu/packages/patches/tipp10-fix-compiling.patch: Likewise.
* gnu/packages/patches/tipp10-qt5.patch: Likewise.
* gnu/packages/patches/tipp10-remove-license-code.patch: Likewise.
* gnu/local.mk (dist_patch_DATA): De-register them.
|