projects
/
dune-common.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
dune-common.git
2022-03-19
Drew Parsons
Merge dune-common (2.8.0-4) import into refs/heads...
commit
|
commitdiff
|
tree
|
snapshot
2022-03-19
Markus Blatt
Also search for libscotchmetisv5 and libscotchmetisv3.
commit
|
commitdiff
|
tree
|
snapshot
2022-03-19
Debian Science...
do-not-install-python-scripts
commit
|
commitdiff
|
tree
|
snapshot
2022-03-19
Debian Science...
disable-long-double-eigenvalue-checks
commit
|
commitdiff
|
tree
|
snapshot
2022-03-19
Debian Science...
use-python-3
commit
|
commitdiff
|
tree
|
snapshot
2022-03-19
Ansgar Burchardt
skip directories starting with a dot when looking for...
commit
|
commitdiff
|
tree
|
snapshot
2022-03-19
Debian Science...
soname
commit
|
commitdiff
|
tree
|
snapshot
2022-03-19
Drew Parsons
dune-common (2.8.0-4) unstable; urgency=medium
commit
|
commitdiff
|
tree
|
snapshot
2022-03-19
Drew Parsons
Import dune-common_2.8.0-4.debian.tar.xz
commit
|
commitdiff
|
tree
|
snapshot
2021-10-21
Patrick Jaap
Merge dune-common (2.8.0-3) import into refs/heads...
commit
|
commitdiff
|
tree
|
snapshot
2021-10-21
Debian Science...
do-not-install-python-scripts
commit
|
commitdiff
|
tree
|
snapshot
2021-10-21
Debian Science...
disable-long-double-eigenvalue-checks
commit
|
commitdiff
|
tree
|
snapshot
2021-10-21
Debian Science...
use-python-3
commit
|
commitdiff
|
tree
|
snapshot
2021-10-21
Ansgar Burchardt
skip directories starting with a dot when looking for...
commit
|
commitdiff
|
tree
|
snapshot
2021-10-21
Debian Science...
soname
commit
|
commitdiff
|
tree
|
snapshot
2021-10-21
Patrick Jaap
dune-common (2.8.0-3) unstable; urgency=medium
commit
|
commitdiff
|
tree
|
snapshot
2021-10-21
Patrick Jaap
Import dune-common_2.8.0-3.debian.tar.xz
commit
|
commitdiff
|
tree
|
snapshot
2021-09-15
Patrick Jaap
Import dune-common_2.8.0.orig.tar.gz
commit
|
commitdiff
|
tree
|
snapshot
2021-01-11
Ansgar
Merge dune-common (2.7.1-2) import into refs/heads...
commit
|
commitdiff
|
tree
|
snapshot
2021-01-11
Ansgar Burchardt
skip directories starting with a dot when looking for...
commit
|
commitdiff
|
tree
|
snapshot
2021-01-11
Debian Science...
soname
commit
|
commitdiff
|
tree
|
snapshot
2021-01-11
Ansgar
dune-common (2.7.1-2) unstable; urgency=medium
commit
|
commitdiff
|
tree
|
snapshot
2021-01-11
Ansgar
Import dune-common_2.7.1-2.debian.tar.xz
commit
|
commitdiff
|
tree
|
snapshot
2021-01-05
Lisa Julia...
Import dune-common_2.7.1.orig.tar.gz
commit
|
commitdiff
|
tree
|
snapshot
2020-07-15
Ansgar
Merge dune-common (2.7.0-5) import into refs/heads...
commit
|
commitdiff
|
tree
|
snapshot
2020-07-15
Ansgar Burchardt
skip directories starting with a dot when looking for...
commit
|
commitdiff
|
tree
|
snapshot
2020-07-15
Debian Science...
soname
commit
|
commitdiff
|
tree
|
snapshot
2020-07-15
Ansgar
dune-common (2.7.0-5) unstable; urgency=medium
commit
|
commitdiff
|
tree
|
snapshot
2020-07-15
Ansgar
Import dune-common_2.7.0-5.debian.tar.xz
commit
|
commitdiff
|
tree
|
snapshot
2020-05-20
Ansgar
Import dune-common_2.7.0.orig.tar.gz
commit
|
commitdiff
|
tree
|
snapshot
2018-06-21
Ansgar Burchardt
Merge dune-common (2.6.0-3) import into refs/heads...
commit
|
commitdiff
|
tree
|
snapshot
2018-06-21
Ansgar Burchardt
Rename git-whitespace-hook to dune-git-whitespace-hook.
commit
|
commitdiff
|
tree
|
snapshot
2018-06-21
Ansgar Burchardt
skip directories starting with a dot when looking for...
commit
|
commitdiff
|
tree
|
snapshot
2018-06-21
Debian Science...
soname
commit
|
commitdiff
|
tree
|
snapshot
2018-06-21
Ansgar Burchardt
dune-common (2.6.0-3) unstable; urgency=medium
commit
|
commitdiff
|
tree
|
snapshot
2018-06-21
Ansgar Burchardt
Import dune-common_2.6.0-3.debian.tar.xz
commit
|
commitdiff
|
tree
|
snapshot
2018-04-02
Ansgar Burchardt
Import dune-common_2.6.0.orig.tar.gz
commit
|
commitdiff
|
tree
|
snapshot
2016-12-18
Ansgar Burchardt
Merge dune-common (2.5.0-1) import into refs/heads...
commit
|
commitdiff
|
tree
|
snapshot
2016-12-18
Ansgar Burchardt
Rename git-whitespace-hook to dune-git-whitespace-hook.
commit
|
commitdiff
|
tree
|
snapshot
2016-12-18
Ansgar Burchardt
skip directories starting with a dot when looking for...
commit
|
commitdiff
|
tree
|
snapshot
2016-12-18
Debian Science...
soname
commit
|
commitdiff
|
tree
|
snapshot
2016-12-18
Ansgar Burchardt
dune-common (2.5.0-1) unstable; urgency=medium
commit
|
commitdiff
|
tree
|
snapshot
2016-12-18
Ansgar Burchardt
Import dune-common_2.5.0.orig.tar.gz
commit
|
commitdiff
|
tree
|
snapshot
2016-12-18
Ansgar Burchardt
Import dune-common_2.5.0-1.debian.tar.xz
commit
|
commitdiff
|
tree
|
snapshot
2014-06-17
Ansgar Burchardt
Rename git-whitespace-hook to dune-git-whitespace-hook.
commit
|
commitdiff
|
tree
|
snapshot
2014-06-17
Ansgar Burchardt
skip directories starting with a dot when looking for...
commit
|
commitdiff
|
tree
|
snapshot
2014-06-17
Debian Science...
dune-autogen
commit
|
commitdiff
|
tree
|
snapshot
2014-06-17
Debian Science...
soname
commit
|
commitdiff
|
tree
|
snapshot
2014-06-17
Ansgar Burchardt
dune-common (2.3.1-1) unstable; urgency=medium
commit
|
commitdiff
|
tree
|
snapshot
2014-06-17
Ansgar Burchardt
Import dune-common_2.3.1.orig.tar.xz
commit
|
commitdiff
|
tree
|
snapshot
2014-06-17
Ansgar Burchardt
Import dune-common_2.3.1-1.debian.tar.xz
commit
|
commitdiff
|
tree
|
snapshot