Ubuntu
sat4j package

sat4j 2.3.5-0.2 source package in Ubuntu

Changelog

sat4j (2.3.5-0.2) unstable; urgency=medium

  * Non-maintainer upload.
  * Re-enabled javahelper to properly compute the package dependencies
  * Added symlinks to the old /usr/share/java/org.sat4j.*.jar files
    to preserve the backward compatibility

 -- Emmanuel Bourg <email address hidden>  Fri, 04 Nov 2016 23:10:51 +0100

Upload details

Uploaded by:
Michael Tautschnig
Uploaded to:
Sid
Original maintainer:
Michael Tautschnig
Architectures:
all
Section:
science
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe science

Builds

Zesty: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
sat4j_2.3.5-0.2.dsc 1.8 KiB b3fc9f6129797a87d094701bc367da5cba85ca7a30e0c54b77c4e81dc2addf3e
sat4j_2.3.5.orig.tar.gz 13.1 MiB 66ec5c9e5b277b5fc93a9930f7f5305b4cbd39d0e3f1a8e6fd2b6b6ac6b9c5bc
sat4j_2.3.5-0.2.debian.tar.xz 16.4 KiB 6636fdad03c4ca6179f9a0832a7b7f8d940aefbdb1dcae274acf1ce1c73e656f

Available diffs

No changes file available.

Binary packages built by this source

sat4j: No summary available for sat4j in ubuntu zesty.

No description available for sat4j in ubuntu zesty.