- 14 Feb, 2017 1 commit
-
-
Ansgar Burchardt authored
-
- 18 Dec, 2016 2 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 05 Dec, 2016 5 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
Bug-Debian: https://bugs.debian.org/847142
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
While we currently don't have any module-specific options, it might be useful to keep the option to set them available.
-
Ansgar Burchardt authored
-
- 22 Nov, 2016 5 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
This should fix the build failure on 32bit architectures. Bug: https://gitlab.dune-project.org/core/dune-common/merge_requests/181
-
- 21 Nov, 2016 8 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 29 Feb, 2016 2 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 28 Feb, 2016 3 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 22 Jan, 2016 2 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 25 Sep, 2015 1 commit
-
-
Ansgar Burchardt authored
-
- 13 Sep, 2015 2 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 04 Sep, 2015 1 commit
-
-
Ansgar Burchardt authored
-
- 03 Sep, 2015 2 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
Reference: https://lists.debian.org/debian-devel/2015/07/msg00115.html
-
- 17 Jul, 2015 1 commit
-
-
Ansgar Burchardt authored
-
- 19 Jun, 2015 2 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 21 May, 2015 1 commit
-
-
Ansgar Burchardt authored
-
- 07 May, 2015 1 commit
-
-
Ansgar Burchardt authored
-
- 05 May, 2015 1 commit
-
-
Ansgar Burchardt authored
-