Yury Bulka b220d3e0df Revert "mu: 1.2 -> 1.3.3" ...

This reverts commits 53a536c69869e68b1101518a84cf89e3d91e25bc
and af931c172d19990cf538f063a956de3d505ecb42.

The repology.org info was incorrect, pulling in a development version
of mu as a release. The current (stable) release of mu is still 1.2:
https://github.com/djcb/mu/releases

2019-11-08 19:55:11 +02:00

..

default.nix

Revert "mu: 1.2 -> 1.3.3"

2019-11-08 19:55:11 +02:00