Weak Memory Bibliography merge requestshttps://gitlab.rts.mpi-sws.org/michalis/wmbib/-/merge_requests2023-12-01T10:09:36Zhttps://gitlab.rts.mpi-sws.org/michalis/wmbib/-/merge_requests/2Fix makefile on nixos2023-12-01T10:09:36ZLéo StefanescoFix makefile on nixosFor some people,
```
$ ls /bin
sh
```For some people,
```
$ ls /bin
sh
```