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

This reverts commits 53a536c698
and af931c172d.

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