Am 05.01.2017 um 11:56 schrieb Ludovic Courtès:
> Please remove “for Windows, Mac OS and Linux.”
>
> OK with this change!
Pushed with these changes b84257c0ffaa26b635f6a617d28da4b7edf26442
--
Regards
Hartmut Goebel
| Hartmut Goebel | h.goe...@crazy-compilers.com |
| www.c
Hartmut Goebel skribis:
> * gnu/packages/education.scm (touch10): New variable.
> * gnu/packages/patches/tipp10-fix-compiling.patch,
> gnu/packages/patches/tipp10-remove-license-code.patch: New files.
> * gnu/local.mk (dist_patch_DATA): Register them.
[...]
> +(description "Tipp10 is a to
Hello,
Hartmut Goebel skribis:
> Am 19.12.2016 um 22:39 schrieb Ludovic Courtès:
>>
>>> + (uri (string-append "mirror://debian/pool/main/"
>>> + "t/tipp10/tipp10_2.1.0.orig.tar.gz"))
>> Is there really no upstream for this program? tipp10.com seems
* gnu/packages/education.scm (touch10): New variable.
* gnu/packages/patches/tipp10-fix-compiling.patch,
gnu/packages/patches/tipp10-remove-license-code.patch: New files.
* gnu/local.mk (dist_patch_DATA): Register them.
---
gnu/local.mk | 2 +
gnu/packages
Am 19.12.2016 um 22:39 schrieb Ludovic Courtès:
>
>> + (uri (string-append "mirror://debian/pool/main/"
>> + "t/tipp10/tipp10_2.1.0.orig.tar.gz"))
> Is there really no upstream for this program? tipp10.com seems to be
> live, no?
There is, but guix is
Hi!
Hartmut Goebel skribis:
> * gnu/packages/education.scm (touch10): New variable.
> * gnu/packages/patches/tipp10-FixCompiling.patch,
> gnu/packages/patches/tipp10-RemoveLicenseCode.patch: New files.
> * gnu/local.mk (dist_patch_DATA): Register them.
[...]
> +(source (origin
> +
* gnu/packages/education.scm (touch10): New variable.
* gnu/packages/patches/tipp10-FixCompiling.patch,
gnu/packages/patches/tipp10-RemoveLicenseCode.patch: New files.
* gnu/local.mk (dist_patch_DATA): Register them.
---
gnu/local.mk | 2 +
gnu/packages/ed