idris-0.12.3: test/pkg007/toy/toy.ipkg

package toy

modules = Toy,
          Toy.Vehicle,
          Toy.Vehicle.Car

opts = "--quiet"