I prepared version 1.4.0 of the octave-pkg-dev package in Git (commit
0c97a4d). Please, upload it to unstable.
I bumped the minor version in this release because all internal targets
of octave-pkg.mk are now double-colon, which is an API change. I also
changed octave-interval in Git to take advantage of the new features
introduced in octave-pkg-dev.