Add Debian postinst script to update plugin indices after upgrades.
authorMatt Birkholz <matt@birchwood-abbey.net>
Fri, 12 Jan 2018 03:38:38 +0000 (20:38 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Fri, 12 Jan 2018 03:38:38 +0000 (20:38 -0700)
commitc8884ccba2014c96b66eabdb37c213f5e9cd29f9
tree9d303a8ae6ba704cdd584a52a21024b156116e09
parent689212d4266075a3446d4a78874c7d7141d0c66c
Add Debian postinst script to update plugin indices after upgrades.
debian/changelog
debian/postinst.in [new file with mode: 0644]
debian/prerm [moved from debian/mit-scheme-pucked.prerm with 100% similarity]
debian/rules
src/ffi/build.scm
src/ffi/ffi.pkg
src/runtime/ffi.scm
src/runtime/runtime.pkg
src/runtime/version.scm