Robin Gloster 427edf1e5d robomongo: mark as broken		2017-03-17 16:45:37 +01:00
..
default.nix	robomongo: mark as broken	2017-03-17 16:45:37 +01:00
robomongo.patch	robomongo: update to 0.8.4 and fix broken build	2014-08-22 21:00:06 +02:00