Debian NEW package overview for mathcomp-abel
mathcomp-abel_1.2.1-1_amd64.changes (click to toggle)
Format:1.8
Date:Tue, 13 Sep 2022 16:20:31 +0200
Source:mathcomp-abel
Binary:libcoq-mathcomp-abel
Architecture:source amd64
Version:1.2.1-1
Distribution:unstable
Urgency:medium
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By:Julien Puydt <jpuydt@debian.org>
Description:
libcoq-mathcomp-abel - Abel-Galois and Abel-Ruffini theorems for Mathematical Components
Closes:1019692
Changes:
mathcomp-abel (1.2.1-1) unstable; urgency=medium

  * Initial release. (Closes: #1019692)
Files:
2d407fcf97a7e7b4cf4e3d6c1f0d01ca 2231 ocaml optional mathcomp-abel_1.2.1-1.dsc
69fab55b3bcdca2a8d6a21420bccaa44 74012 ocaml optional mathcomp-abel_1.2.1.orig.tar.gz
25e116bf6c947acda3baa8c70d13017d 8356 ocaml optional mathcomp-abel_1.2.1-1.debian.tar.xz
83190b6538295f6b104adb8a139181f1 1278608 ocaml optional libcoq-mathcomp-abel_1.2.1-1_amd64.deb
16efa662e0815ab57235f53f30b6d3b1 7380 ocaml optional mathcomp-abel_1.2.1-1_amd64.buildinfo
mathcomp-abel_1.2.1-1.dsc (click to toggle)
Format:3.0 (quilt)
Source:mathcomp-abel
Binary:libcoq-mathcomp-abel
Architecture:any
Version:1.2.1-1
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Homepage:https://github.com/math-comp/abel
Standards-Version:4.6.1
Vcs-Browser:https://salsa.debian.org/ocaml-team/mathcomp-abel
Vcs-Git:https://salsa.debian.org/ocaml-team/mathcomp-abel.git
Testsuite:autopkgtest
Testsuite-Triggers:coq
Build-Depends:coq, debhelper-compat (=13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-real-closed, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:libcoq-mathcomp-abel deb ocaml optional arch=any
Files:
69fab55b3bcdca2a8d6a21420bccaa44 74012 mathcomp-abel_1.2.1.orig.tar.gz
25e116bf6c947acda3baa8c70d13017d 8356 mathcomp-abel_1.2.1-1.debian.tar.xz
lintian 2.104.0 check for mathcomp-abel_1.2.1-1.dsc (click to toggle)
README.source for mathcomp-abel_1.2.1-1.dsc (click to toggle)
No README.source in this package
control file for libcoq-mathcomp-abel_1.2.1-1_amd64.deb (click to toggle)
Package:libcoq-mathcomp-abel
Source:mathcomp-abel
Version:1.2.1-1
Architecture:amd64
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size:4159
Depends:libcoq-mathcomp-algebra-v72h0, libcoq-mathcomp-field-0s7m4, libcoq-mathcomp-fingroup-zjr07, libcoq-mathcomp-real-closed-8irg7, libcoq-mathcomp-solvable-0ypi4, libcoq-mathcomp-ssreflect-z4tf7
Provides:libcoq-mathcomp-abel-vzrv2
Section:ocaml
Priority:optional
Homepage:https://github.com/math-comp/abel
Description:
Abel-Galois and Abel-Ruffini theorems for Mathematical Components
 This package provides proofs of the Abel-Galois (solvability by
 radicals and solvability of the Galois group) and of the Abel-Ruffini
 theorem (general unsolvability of the quintic equations) using the
 Mathematical Components library.
 .
 The Mathematical Components library is a coherent repository of
 general-purpose formalized mathematical theories for the
 Coq proof assistant.
lintian 2.104.0 check for libcoq-mathcomp-abel_1.2.1-1_amd64.deb (click to toggle)
contents of libcoq-mathcomp-abel_1.2.1-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2022-09-13 14:20 ./
drwxr-xr-x root/root         0 2022-09-13 14:20 ./usr/
drwxr-xr-x root/root         0 2022-09-13 14:20 ./usr/lib/
drwxr-xr-x root/root         0 2022-09-13 14:20 ./usr/lib/ocaml/
drwxr-xr-x root/root         0 2022-09-13 14:20 ./usr/lib/ocaml/coq/
drwxr-xr-x root/root         0 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/
drwxr-xr-x root/root         0 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/
-rw-r--r-- root/root    544532 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/abel.glob
-rw-r--r-- root/root     71505 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/abel.v
-rw-r--r-- root/root    854586 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/abel.vo
drwxr-xr-x root/root         0 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/
-rw-r--r-- root/root     97711 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/algR.glob
-rw-r--r-- root/root     12187 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/algR.v
-rw-r--r-- root/root    161930 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/algR.vo
-rw-r--r-- root/root     62157 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/char0.glob
-rw-r--r-- root/root      6915 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/char0.v
-rw-r--r-- root/root     74030 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/char0.vo
-rw-r--r-- root/root     64656 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/classic_ext.glob
-rw-r--r-- root/root      9029 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/classic_ext.v
-rw-r--r-- root/root    171209 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/classic_ext.vo
-rw-r--r-- root/root     53859 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/cyclotomic_ext.glob
-rw-r--r-- root/root      6491 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/cyclotomic_ext.v
-rw-r--r-- root/root     76635 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/cyclotomic_ext.vo
-rw-r--r-- root/root    312634 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/map_gal.glob
-rw-r--r-- root/root     34014 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/map_gal.v
-rw-r--r-- root/root    371051 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/map_gal.vo
-rw-r--r-- root/root     15638 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/real_closed_ext.glob
-rw-r--r-- root/root      2256 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/real_closed_ext.v
-rw-r--r-- root/root     44644 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/real_closed_ext.vo
-rw-r--r-- root/root    455766 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/various.glob
-rw-r--r-- root/root     49503 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/various.v
-rw-r--r-- root/root    649337 2022-09-13 14:20 ./usr/lib/ocaml/coq/user-contrib/Abel/xmathcomp/various.vo
drwxr-xr-x root/root         0 2022-09-13 14:20 ./usr/share/
drwxr-xr-x root/root         0 2022-09-13 14:20 ./usr/share/doc/
drwxr-xr-x root/root         0 2022-09-13 14:20 ./usr/share/doc/libcoq-mathcomp-abel/
-rw-r--r-- root/root      1935 2022-09-13 14:20 ./usr/share/doc/libcoq-mathcomp-abel/README.md.gz
-rw-r--r-- root/root       161 2022-09-13 14:20 ./usr/share/doc/libcoq-mathcomp-abel/changelog.Debian.gz
-rw-r--r-- root/root     22350 2022-09-13 14:20 ./usr/share/doc/libcoq-mathcomp-abel/copyright
drwxr-xr-x root/root         0 2022-09-13 14:20 ./var/
drwxr-xr-x root/root         0 2022-09-13 14:20 ./var/lib/
drwxr-xr-x root/root         0 2022-09-13 14:20 ./var/lib/coq/
drwxr-xr-x root/root         0 2022-09-13 14:20 ./var/lib/coq/md5sums/
-rw-r--r-- root/root         5 2022-09-13 14:20 ./var/lib/coq/md5sums/libcoq-mathcomp-abel.checksum

Timestamp: 13.09.2022 / 15:01:38 (UTC)