wok log warmux/receipt

age author description
2011-05-26 Pascal Bellard warmux: update bdeps
2011-05-20 Christopher Rogers warmux: Add $CONFIGURE_ARGS.
2011-05-15 Christopher Rogers Up: warmux to 11.04.1.
2011-03-03 Christopher Rogers Wormux is now named warmux. Up: warmux to 11.01.