dolfin (2019.2.0~git20200629.946dbd3-8) unstable; urgency=medium
authorAnton Gladky <gladk@debian.org>
Wed, 18 Nov 2020 16:09:19 +0000 (16:09 +0000)
committerAnton Gladky <gladk@debian.org>
Wed, 18 Nov 2020 16:09:19 +0000 (16:09 +0000)
commitadae3aead5d10a1b0b77040c83d4a3f015bc68e3
treeae0e8a971e4cb91075e65a6b073bb39a3062dc17
parent4e3c4af92f10560d4c3347b50edc7ed3f7c2fe49
parentf2bebca492e3707cddadf494ca21d7c005135d9b
dolfin (2019.2.0~git20200629.946dbd3-8) unstable; urgency=medium

  * [9f0767f] Fix compilation against Boost_1.74. (Closes: #974947)
  * Proper source-only upload with demo-files. (Closes: #975057)

[dgit import unpatched dolfin 2019.2.0~git20200629.946dbd3-8]