GitHub Pandoc Release' filename for `.deb` occasionally breaks the pattern of `-1-amd64.deb`

[Kolen Cheung <christian.kolen-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>]

[-- Attachment #1.1: Type: text/plain, Size: 1910 bytes --]



Hi,

I’m currently experimenting with Travis CI build against *all* pandoc 
versions. The script I use:

env:
  - pandocVersion=1.13.2
  - pandocVersion=1.14
  - pandocVersion=1.14.0.1
  - pandocVersion=1.14.1
  - pandocVersion=1.15
  - pandocVersion=1.15.0.5
  - pandocVersion=1.15.0.6
  - pandocVersion=1.15.1
  - pandocVersion=1.15.2
  - pandocVersion=1.16.0.1
  - pandocVersion=1.16.0.2
  - pandocVersion=1.17
  - pandocVersion=1.17.0.1
  - pandocVersion=1.17.0.2
  - pandocVersion=1.17.2
  - pandocVersion=1.18
before_install:
  - wget https://github.com/jgm/pandoc/releases/download/$pandocVersion/pandoc-$pandocVersion-1-amd64.deb &&
    sudo dpkg -i pandoc-$pandocVersion-1-amd64.deb

The key to make this possible is the pattern of the filename of the .deb 
always end in -1-amd64.deb. There are a few instances that this is not 
true, the newest version among them is pandoc-1.17.1-2-amd64.deb. (The 
script above includes all pandoc versions that follows the pattern.)

To be clear, I am not suggesting we go back to fix the releases that has 
been released. The purpose of this thread is only to

   1. see if this has been fixed already 
   2. if not fixed, how to prevent this to happen in the future 
   3. perhaps to be curious about why this would occur 

Thanks.
​

-- 
You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To post to this group, send email to pandoc-discuss-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/788928f7-3cd9-4edc-bcc4-c80e8a75a5df%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[-- Attachment #1.2: Type: text/html, Size: 9038 bytes --]