Kevin Quick
a9c48a0ad3
python: thespian: 3.9.2 -> 3.9.4 ( #44857 )
2018-08-10 12:28:49 +02:00
Kevin Quick
7933fe4ee5
python: thespian: 3.9.0 -> 3.9.1
2018-01-09 11:04:46 -08:00
Kevin Quick
2233ae6a99
Removed extraneous comment; updated note reg testing use of network.
2017-11-22 21:23:43 -08:00
Kevin Quick
a9a86e04c4
thespian: Python library init at 3.8.3
2017-11-21 16:48:30 -08:00
Kevin Quick
5e21db46df
Fixed whitespace.
2017-10-25 16:15:44 -07:00
Kevin Quick
6bfa45997b
Remove trailing period from description per contribution guidelines.
2017-10-19 10:01:48 -07:00
Kevin Quick
bb47bea024
Enable checks and remove unnecessary lines.
2017-10-19 10:00:44 -07:00
Kevin Quick
6015fdc76a
theft: add new theft development library package
2017-10-18 23:23:09 -07:00
Kevin Quick
a1afec9c14
maintainers: add Kevin Quick
2017-10-19 08:18:55 +02:00
Kevin Quick
3e4b500529
maintainers: add Kevin Quick
2017-10-18 22:25:49 -07:00
Kevin Quick
6cbd9ce8f9
Fix license reference for added libpoly library.
2017-07-07 12:54:32 -07:00
Kevin Quick
6387a7ec8b
Update yices to add libpoly/mcsat functionality and add soname target.
2017-07-06 21:31:38 -07:00
Kevin Quick
8ff05c85ee
Add poly library for manipulating polynomials.
2017-07-06 21:30:30 -07:00
Kevin Quick
2066ac2956
Specify no-tests cabal flag for vty-ui under ghc 7.10.x
2015-08-19 10:15:38 -07:00
Kevin Quick
d58753b994
Newer haskell cmdlib version 0.3.6 is no longer marked as broken.
...
Closes https://github.com/NixOS/nixpkgs/pull/9316 .
2015-08-19 11:01:48 +02:00
Kevin Quick
882f3ad0db
htmlize: update source location
2015-07-03 15:33:26 -07:00
Kevin Quick
8f0511b0a0
gawk: add gawkInteractive with readline support
...
stdenv (on linux) depends on gawk, readline and similar are useless for non-interactive usage.
Close #1596 . Original patch was almost completely rewritten by vcunat.
On darwin we always specify whether to use readline, so it isn't always picked as reported.
2014-01-26 10:53:22 +01:00
Kevin Quick
80adf16703
glib on darwin: disable warnings to avoid prototype errors
...
vcunat did some reformatting before pushing.
2014-01-26 10:31:05 +01:00
Kevin Quick