gap-io 4.2+ds1-1 source package in Ubuntu

Changelog

gap-io (4.2+ds1-1) unstable; urgency=low


  * New original source ball repackaging.
  * Debianization:
    - debian/watch, revisit wrt repacked source ball name.
    - debian/makedoc.g, revisit;
    - debian/clean, add wrt debian/makedoc.g;
    - debian/repack, revisit wrt debian/makedoc.g;
    - debian/control, refresh;
    - debian/gap-io.install:
      - provide manual.css and manual.js;
      - install io.so module in pkg/bin as now allowed by GAP 4r7p2-1;
    - debian/gap-io.dir, remove.

 -- Jerome Benoit <email address hidden>  Sat, 01 Mar 2014 14:25:57 +0000

Upload details

Uploaded by:
Debian Science Team
Uploaded to:
Sid
Original maintainer:
Debian Science Team
Architectures:
any
Section:
misc
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
gap-io_4.2+ds1-1.dsc 2.0 KiB 48f92b441f707a1996d2ad151c04ad5d7089d90f86b77c1be840aa83596e957a
gap-io_4.2+ds1.orig.tar.xz 93.8 KiB a4dce2f1b4484a9e65e01d5ef7c83aa6730a7d525f02e52bd752c409471fd20f
gap-io_4.2+ds1-1.debian.tar.xz 6.1 KiB 6720826f7379b3e7b0a6e080e8e4c01411632e73c1520ee63a50be2f82341086

Available diffs

No changes file available.

Binary packages built by this source

gap-io: No summary available for gap-io in ubuntu utopic.

No description available for gap-io in ubuntu utopic.