mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-23 06:01:15 +00:00
Code Issues Wiki Activity
nixpkgs/pkgs/development/tools/misc
History
Austin Seipp 628e914f2b frama-c: overhaul, upgrade to 20140301-Neon 
This massively upgrades the frama-c package to be far more useful,
including support for a lot more plugins, including Jessie.

Jessie unfortunately requires that its plugin is installed alongside
frama-c, so we install why2 (where it lives) along with frama-c now.
This increases the size, but makes it much more useful.

In the future, it may be possible to split out the build such that why2
is a separate expression and frama-c only installs the plugin, rather
than all of why2. However, right now this is fine.

Furthermore, why3 is now a dependency - the Jessie plugin can use
either, and defaults to Why3 now. Per the design, Frama-C can also go
from Why2->Why3 as well.

We also make Coq and Alt-Ergo dependencies, so that out-of-the-box users
get at least one SMT solver and a prover for support.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:42:34 -05:00
..
astyle astyle: update from 2.02.1 to 2.04 2013-12-15 11:25:54 +02:00
autobuild Some description fixes 2013-10-05 19:36:23 +02:00
autoconf add branch info 2014-02-18 04:13:45 +02:00
autogen Fix some "meta.licenses" attributes 2014-01-25 03:04:46 +01:00
automake automake: update from 1.12.4 to 1.12.6 2014-03-21 10:34:20 +01:00
automoc4
avarice Some description fixes 2013-10-05 19:36:23 +02:00
avrdude avrdude: update from 5.11 to 6.0.1 2013-12-18 18:18:18 +02:00
babeltrace babeltrace: update from 1.1.1 to 1.2.1 2014-04-13 10:47:17 +02:00
binutils binutils: Use dynamic instead of shared libraries 2014-01-07 15:01:59 +01:00
cbrowser
ccache ccache: update from 3.1.7 to 3.1.9 2013-12-18 18:18:21 +02:00
cflow
cgdb add repositories.git to several packages 2014-02-14 09:34:30 +02:00
cl-launch Fix CL-Launch source link 2014-03-09 12:47:33 +04:00
coccinelle unmaintain several packages 2013-08-16 23:45:01 +02:00
complexity complexity: fix build 2013-11-28 23:52:49 +00:00
cpphs haskell-cpphs: update to version 1.18.4 2014-03-27 13:12:54 +01:00
cppi cppi: update to version 1.18 2013-03-18 11:37:46 +01:00
cproto
cscope
ctags
d-feet Add platforms and maintainers to d-feet. 2014-01-06 00:48:23 +01:00
dbench
ddd
dejagnu dejagnu: minor update 2013-09-07 16:20:39 +02:00
dfu-programmer dfu-programmer: New package. 2014-03-07 13:28:33 +01:00
distcc
drush drush: add expression 2013-12-05 04:38:35 +00:00
eggdbus
elfutils elfutils: update 0.155 -> 0.158 2014-04-20 18:24:11 +02:00
epm
frama-c frama-c: overhaul, upgrade to 20140301-Neon 2014-05-01 02:42:34 -05:00
gdb gdb: adding a patch to handle well the edit cmd + SIGWINCH. 2014-03-20 11:09:39 +01:00
gengetopt gengetopt: update from 2.22.5 to 2.22.6 2013-12-12 03:11:34 +02:00
global Change several package constraints from linux to unix 2014-04-12 16:01:16 -05:00
gnum4 gnum4: drop obsolete patches 2013-09-22 16:35:54 +02:00
gob2
gperf
gtkdialog gtkdialog: update to 0.8.3 2013-09-14 00:10:17 +02:00
help2man help2man: update from 1.43.3 to 1.44.1 2014-03-01 05:26:44 +02:00
hydra
icon-naming-utils icon-naming-utils: add librsvg dependency and meta.platforms 2014-01-10 01:45:32 +01:00
indent make package use mirror:// for gnu, savannah and gnome repositories where possible 2013-07-14 05:23:06 +03:00
inotify-tools
intltool Update some more platforms 2013-11-06 10:58:20 +01:00
itstool itstool: update 2013-04-20 10:25:24 +02:00
jscoverage
libtool
lsof Allow lsof to build on darwin (fixes #2219) 2014-04-12 11:14:18 -05:00
ltrace ltrace: fix build with latest gcc (by disabling -Werror) 2014-04-09 12:41:11 +02:00
lttng-tools lttng project: update from 2.3.0 to 2.4.1 2014-04-13 10:47:16 +02:00
lttng-ust lttng project: update from 2.3.0 to 2.4.1 2014-04-13 10:47:16 +02:00
lttv set all licenses to be attributes (and wait for Nix 1.7) 2014-03-12 21:20:43 +01:00
luarocks Update LuaRocks 2014-03-08 21:13:00 +04:00
ninka ninka: update to 1.1 and refactor 2013-10-30 11:47:12 +01:00
openocd openocd: install udev rules 2014-03-08 21:46:13 +01:00
patchelf patchelf: Update to 0.8 2014-01-14 14:21:27 +01:00
pkgconfig
pmccabe
premake Whitespace fixes in package expressions I maintain 2014-01-02 17:58:08 +01:00
saleae-logic saleae-logic: install udev rules 2014-03-08 21:46:13 +01:00
sloccount unmaintain several packages 2013-08-16 23:45:01 +02:00
srecord srecord: new package 2013-07-19 00:29:50 +02:00
stlink Whitespace fixes in package expressions I maintain 2014-01-02 17:58:08 +01:00
stm32flash Fix some issues in my packages reported by nixpkgs-lint. 2013-09-26 20:03:57 +00:00
strace Adopt more packages. 2014-01-28 18:11:00 +01:00
swig Add swig-3.x 2014-04-20 11:30:31 +01:00
sysbench More description fixes 2013-10-06 12:01:38 +02:00
tcptrack Whitespace fixes in package expressions I maintain 2014-01-02 17:58:08 +01:00
teensy teensy-loader: New package 2014-02-18 01:02:47 +01:00
texi2html make package use mirror:// for gnu, savannah and gnome repositories where possible 2013-07-14 05:23:06 +03:00
texinfo texinfo: move ncurses support into texinfoInteractive 2014-04-02 19:05:56 +02:00
uhd uhd: update 3.5.4 -> 3.7.0 2014-04-15 07:11:41 +02:00
uisp
uncrustify uncrustify: new package 2013-08-31 09:42:20 +02:00
unifdef
usb-modeswitch
xc3sprog xc3sprog: new package 2013-10-26 12:43:12 +02:00
xxdiff xxdiff: update to version 4.0 2013-08-15 12:25:07 +02:00
yodl