Merge requests · hm

Install opam package / remove fragile shell download

devbox!68 · created Sep 04, 2022 by Guedemann, Matthias
updated Sep 04, 2022
Remove go 1.18 release candidate

devbox!67 · created Sep 01, 2022 by Wallentowitz, Stefan
- Merged
updated Sep 01, 2022
nomachine upgraded to version 7.10.1

devbox!66 · created Aug 12, 2022 by Wischhof, Lars
updated Sep 01, 2022
[its] Suspend auto login

devbox!65 · created Aug 11, 2022 by Wallentowitz, Stefan
- Merged
- 1
updated Sep 01, 2022
[csf] Temporarily suspend role

devbox!64 · created Aug 11, 2022 by Wallentowitz, Stefan
- Merged
updated Aug 11, 2022
[base] Fix xfce installation

devbox!63 · created Aug 11, 2022 by Wallentowitz, Stefan
- Merged
updated Aug 11, 2022
Add entry to generate /etc/ansible/hosts

devbox!62 · created Aug 11, 2022 by Guedemann, Matthias
- Merged
- 1
updated Aug 11, 2022
Krypto move from Haskell to SageMath

devbox!61 · created Jul 22, 2022 by Guedemann, Matthias
updated Sep 04, 2022
Fix Frama-C installation

devbox!60 · created Jul 22, 2022 by Guedemann, Matthias
updated Aug 11, 2022
Update for WiSe 2022/23

devbox!59 · created Jul 21, 2022 by Wallentowitz, Stefan
updated Jul 21, 2022
[CI] Add CI

devbox!58 · created Jun 17, 2022 by Wallentowitz, Stefan
- Merged
updated Jun 17, 2022
Rust

devbox!57 · created Jun 14, 2022 by Wallentowitz, Stefan
- Merged
updated Jun 14, 2022
ansible rule to downgrade to Jinja version 3.0.0

devbox!56 · created May 05, 2022 by Ghost User
updated May 05, 2022
Ss22 csf

devbox!55 · created May 02, 2022 by Ghost User
updated May 04, 2022
ESS updates

devbox!54 · created Apr 20, 2022 by Wallentowitz, Stefan
- Merged
updated Apr 20, 2022
Embedded System Security

devbox!53 · created Apr 08, 2022 by Wallentowitz, Stefan
- Merged
updated Apr 08, 2022
Virtualization guests for other hosts

devbox!52 · created Apr 07, 2022 by Wallentowitz, Stefan
- Merged
updated Apr 07, 2022
Resolve python3 deprecation warning

devbox!51 · created Mar 30, 2022 by Wallentowitz, Stefan
- Merged
updated Mar 30, 2022
[os] missing tools directory

devbox!50 · created Mar 25, 2022 by Wallentowitz, Stefan
- Merged
updated Mar 25, 2022
Bump GHC to 8.10.7

devbox!49 · created Mar 23, 2022 by Guedemann, Matthias master
- Merged
updated Mar 23, 2022