aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorAndy Tai <atai@atai.org>2024-03-06 21:43:48 -0800
committerGuillaume Le Vaillant <glv@posteo.net>2024-03-08 09:26:47 +0100
commitce0435f8280cdf481284302f8e8229903733b734 (patch)
treede5cb4b04ccda96b2a0934c4e1b132d876f80aea /gnu/packages/lean.scm
parent0b5cbca689b2f91949e191ca256ffc9bb48c1141 (diff)
downloadguix-ce0435f8280cdf481284302f8e8229903733b734.tar.gz
guix-ce0435f8280cdf481284302f8e8229903733b734.zip
gnu: gnuradio: Update to 3.10.8.0.
* gnu/packages/radio.scm (gnuradio): Update to 3.10.8.0. Change-Id: Ibf1560b642dd7d54f06eba0288f5068d7077e7ec Reviewed-by: Juliana Sims <juli@incana.org> Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions