Michele Cereda e180e49c1b fix: debian version pinning

2023-05-23 22:04:26 +02:00

..

apt.conf.d

chore: apt configuration improvements

2023-05-23 21:58:19 +02:00

preferences.d

fix: debian version pinning

2023-05-23 22:04:26 +02:00

sources.list.d

chore: aligned sources lists for debian

2023-05-23 21:26:16 +02:00