Michael Raskin be4bdff8ab Update Box2D to 2.3.0. I fail to build 2.3.1, though.

2014-07-01 13:58:11 +04:00

..

2.0.1.nix

…

default.nix

Update Box2D to 2.3.0. I fail to build 2.3.1, though.

2014-07-01 13:58:11 +04:00