summary refs log tree commit diff
path: root/pkgs/development/libraries/tecla
AgeCommit message (Collapse)AuthorFilesLines
2022-05-04treewide: add meta.mainProgram to some librariesMalo Bourgon1-2/+2
where a single bin is provided and someone might actually want to run it
2021-11-10pkgs/development: rename name to pname&versionFelix Buehler1-2/+3
2021-10-14Drop myself from meta.maintainers for most packages.Peter Simons1-1/+0
I'd like to reduce the number of Github notifications and review requests I receive.
2021-02-28tecla: support cross-compilationRick van Schijndel1-0/+5
2021-01-21pkgs/development/libraries: stdenv.lib -> libBen Siraphob1-3/+3
2020-10-02treewide: fix redirected urls (run 3)Patrick Hilhorst1-2/+2
Related: - 9fc5e7e473874762fdb1b49d17dcf703d48352c3 - 593e11fd944ce961ecf5425c3540df09e4f52265 - 508ae42a0f64c350036d722b84c2e2905bbc5418 Since the last time I ran this script, the Repology API changed, so I had to adapt the script used in the previous PR. The new API should be more robust, so overall this is a positive (no more grepping the error messages for our relevant data but just a nice json structure). Here's the new script I used: ```sh curl https://repology.org/api/v1/repository/nix_unstable/problems \ | jq -r '.[] | select(.type == "homepage_permanent_https_redirect") | .data | "s@\(.url)@\(.target)@"' \ | sort | uniq | tee script.sed find -name '*.nix' | xargs -P4 -- sed -f script.sed -i ``` I will also add this script to `maintainers/scripts`.
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger1-1/+1
* pkgs: refactor needless quoting of homepage meta attribute A lot of packages are needlessly quoting the homepage meta attribute (about 1400, 22%), this commit refactors all of those instances. * pkgs: Fixing some links that were wrongfully unquoted in the previous commit * Fixed some instances
2016-12-22libtecla: update to version 1.6.3Peter Simons1-4/+2
Also dropped the slightly overzealous -O3 flag for the compiler. I doubt this library benefits from crazy optimizations.
2016-08-03Re-enable bunch of packages on DarwinTuomas Tynkkynen1-1/+1
Prior to 1bf5ded1933b18af9a95dc263063756ed9d383ba these contained `hydraPlatforms = platforms.linux`, which was apparently misleading.
2016-08-02treewide: Lots of meta.hydraPlatforms -> meta.platformsTuomas Tynkkynen1-1/+1
In all of these files, there is no meta.platforms but only meta.hydraPlatforms, which doesn't seem to have any purpose except being inconsistent.
2016-05-16Bring my stdenv.lib.maintainers user name in line with my github nick.Peter Simons1-1/+1
2014-08-24Fix many package descriptionsBjørn Forsman1-1/+1
(My OCD kicked in today...) Remove repeated package names, capitalize first word, remove trailing periods and move overlong descriptions to longDescription. I also simplified some descriptions as well, when they were particularly long or technical, often based on Arch Linux' package descriptions. I've tried to stay away from generated expressions (and I think I succeeded). Some specifics worth mentioning: * cron, has "Vixie Cron" in its description. The "Vixie" part is not mentioned anywhere else. I kept it in a parenthesis at the end of the description. * ctags description started with "Exuberant Ctags ...", and the "exuberant" part is not mentioned elsewhere. Kept it in a parenthesis at the end of description. * nix has the description "The Nix Deployment System". Since that doesn't really say much what it is/does (especially after removing the package name!), I changed that to "Powerful package manager that makes package management reliable and reproducible" (borrowed from nixos.org). * Tons of "GNU Foo, Foo is a [the important bits]" descriptions is changed to just [the important bits]. If the package name doesn't contain GNU I don't think it's needed to say it in the description either.
2014-01-13tecla: update to version 1.6.2Peter Simons1-3/+3
2010-08-26pkgs/development/libraries/tecla: enable Hydra build on all platformsPeter Simons1-10/+13
svn path=/nixpkgs/trunk/; revision=23470
2008-07-15maude, tecla, buddy: new packagesPeter Simons1-0/+18
Maude is a high-level specification language. Buddy and libtecla are required to build Maude. svn path=/nixpkgs/trunk/; revision=12358