Austin Seipp fe9133d522 verifast: 14.5, x86_64 linux only ... Signed-off-by: Austin Seipp <aseipp@pobox.com>		2014-06-10 16:38:45 -05:00
..
audio
display-managers
editors
graphics	potrace: allow building on any unix	2014-06-10 08:57:41 +00:00
ike
misc
networking	vimb: Upgrade from 2.2 to 2.4	2014-06-10 14:40:16 +02:00
office
science	verifast: 14.5, x86_64 linux only	2014-06-10 16:38:45 -05:00
search
taxes
version-management
video
virtualization
window-managers