Debian NEW package overview for bergman
bergman_1.001+dfsg-1_amd64.changes (click to toggle)
Format:1.8
Date:Fri, 08 Apr 2022 20:56:43 -0400
Source:bergman
Binary:bergman
Architecture:source all
Version:1.001+dfsg-1
Distribution:unstable
Urgency:low
Maintainer:Debian Math Team <team+math@tracker.debian.org>
Changed-By:Doug Torrance <dtorrance@debian.org>
Description:
bergman    - Gröbner bases in commutative and non-commutative algebras
Closes:990950
Changes:
bergman (1.001+dfsg-1) unstable; urgency=low

  * Initial release (Closes: #990950).
Files:
1b7858790a6208f57de23291673e7ac6 1987 math optional bergman_1.001+dfsg-1.dsc
54751043db985dce96f226c726315b32 773048 math optional bergman_1.001+dfsg.orig.tar.xz
1764813713a26eea067d276fc4fba1ca 7784 math optional bergman_1.001+dfsg-1.debian.tar.xz
5375dafd24895462c1fc6a5fcde0ca5e 294696 math optional bergman_1.001+dfsg-1_all.deb
eeb3c04069eccc12b8c4581973884899 7125 math optional bergman_1.001+dfsg-1_amd64.buildinfo
bergman_1.001+dfsg-1.dsc (click to toggle)
Format:3.0 (quilt)
Source:bergman
Binary:bergman
Architecture:all
Version:1.001+dfsg-1
Maintainer:Debian Math Team <team+math@tracker.debian.org>
Uploaders:Doug Torrance <dtorrance@debian.org>
Homepage:http://servus.math.su.se/bergman/
Standards-Version:4.6.0
Vcs-Browser:https://salsa.debian.org/math-team/bergman
Vcs-Git:https://salsa.debian.org/math-team/bergman.git
Testsuite:autopkgtest
Build-Depends:debhelper-compat (=13), texlive-binaries, tth
Package-List:bergman deb math optional arch=all
Files:
54751043db985dce96f226c726315b32 773048 bergman_1.001+dfsg.orig.tar.xz
1764813713a26eea067d276fc4fba1ca 7784 bergman_1.001+dfsg-1.debian.tar.xz
lintian 2.94.0~bpo10+1 check for bergman_1.001+dfsg-1.dsc (click to toggle)
README.source for bergman_1.001+dfsg-1.dsc (click to toggle)
No README.source in this package
control file for bergman_1.001+dfsg-1_all.deb (click to toggle)
Package:bergman
Version:1.001+dfsg-1
Architecture:all
Maintainer:Debian Math Team <team+math@tracker.debian.org>
Installed-Size:1736
Depends:clisp
Section:math
Priority:optional
Homepage:http://servus.math.su.se/bergman/
Description:
Gröbner bases in commutative and non-commutative algebras
 Bergman is a powerful tool to calculate Gröbner bases in commutative
 and non-commutative algebras, and in modules over them. It may also be
 used to calculate some invariants of algebras and modules: the Hilbert
 series, and (in the non-commutative case) the Poincaré-Betti series,
 the Anick resolution, and the Betti numbers.
 .
 The most important feature of bergman are computations both in
 non-commutative and commutative cases. It also permits degree-wise
 output of results; thus it may save partial results from calculations
 close to or beyond the limit for calculations of entire Gröbner bases
 with present-day computer strength. This saves for the user partial
 results even the problem overheads the strength of the computer.
 .
 Bergman offers the user a high level of flexibiliy. Among the
 alternatives for ring set-ups are: commutativity or non-commutativity;
 various strategies of Gröbner basis computation; a few different
 monomial orderings; and various coefficient fields. The set-up may be
 changed interactively during the session. Most calculations can be
 done both for ideals and modules. In the Reduce version it is possible
 to include indeterminates (with or without declared reduction rules)
 as coefficients for the commutative computations; otherwise the
 coefficient field should be a prime field.
 .
 Bergman is written in Standard Lisp, the Lisp dialect underlying
 Reduce implementations. There is also available an experimentative
 Common Lisp version.Therefore, bergman works under Reduce, PSL or
 Common Lisp (at least one of them should be pre-installed), and
 commands are written in respect to Reduce or Lisp syntax.
lintian 2.94.0~bpo10+1 check for bergman_1.001+dfsg-1_all.deb (click to toggle)
contents of bergman_1.001+dfsg-1_all.deb (click to toggle)
drwxr-xr-x root/root         0 2022-04-09 00:56 ./
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/common-lisp/
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/common-lisp/source/
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/common-lisp/source/bergman/
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/common-lisp/source/bergman/auxil/
-rw-r--r-- root/root      6065 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/bmdiff
-rw-r--r-- root/root      4729 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/bmdiff.old
-rw-r--r-- root/root      2721 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/bmhead_psl.sl
-rw-r--r-- root/root      1530 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/bmtail_psl.sl
-rw-r--r-- root/root      6793 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/bmtop.sl
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/common-lisp/source/bergman/auxil/clisp/
-rw-r--r-- root/root      1578 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp/bmhead-cl.lsp
-rw-r--r-- root/root      1279 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp/bmtail-cl.lsp
-rw-r--r-- root/root      1114 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp/bmtail-cl.lsp.sav
-rw-r--r-- root/root       232 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp/checkerr.lsp
-rw-r--r-- root/root      2350 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp/compan.lsp
-rw-r--r-- root/root      1284 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp/compext-cl.lsp
-rw-r--r-- root/root      2077 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp/comphead-cl.lsp
-rw-r--r-- root/root      1000 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp/comptail-cl.lsp
-rw-r--r-- root/root       135 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp/envhead-cl.lsp
-rw-r--r-- root/root     20681 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp/environ.lsp
-rw-r--r-- root/root       519 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp/environ0.lsp
-rw-r--r-- root/root      1805 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp/mkenvv.lsp
-rw-r--r-- root/root      1880 2022-04-09 00:56 ./usr/share/common-lisp/source/bergman/auxil/clisp/prelisp.lsp
-rw-r--r-- root/root       825 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp/switches.lsp
-rw-r--r-- root/root      1791 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp/versmacr.sl
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/common-lisp/source/bergman/auxil/clisp2.29/
-rw-r--r-- root/root      1578 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp2.29/bmhead-cl.lsp
-rw-r--r-- root/root      1114 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp2.29/bmtail-cl.lsp
-rw-r--r-- root/root       232 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp2.29/checkerr.lsp
-rw-r--r-- root/root      2350 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp2.29/compan.lsp
-rw-r--r-- root/root      1284 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp2.29/compext-cl.lsp
-rw-r--r-- root/root      2077 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp2.29/comphead-cl.lsp
-rw-r--r-- root/root      1000 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp2.29/comptail-cl.lsp
-rw-r--r-- root/root       135 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp2.29/envhead-cl.lsp
-rw-r--r-- root/root     20783 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp2.29/environ.lsp
-rw-r--r-- root/root       519 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp2.29/environ0.lsp
-rw-r--r-- root/root      1805 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp2.29/mkenvv.lsp
-rw-r--r-- root/root       134 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp2.29/prelisp.lsp
-rw-r--r-- root/root       825 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/clisp2.29/switches.lsp
-rw-r--r-- root/root      1626 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/compan.sl
-rw-r--r-- root/root      1771 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/compan.sl.new
-rw-r--r-- root/root      2378 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/compext_psl.sl
-rw-r--r-- root/root      2704 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/comphead_psl.sl
-rw-r--r-- root/root      4467 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/compile.sl
-rw-r--r-- root/root      4802 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/compile.sl.new
-rw-r--r-- root/root      6083 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/compile.sl.true
-rw-r--r-- root/root      1134 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/comptail_psl.sl
-rw-r--r-- root/root       307 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/envtail1
-rw-r--r-- root/root       323 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/envtail2
-rw-r--r-- root/root       309 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/envtail3
-rw-r--r-- root/root       325 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/envtail4
-rw-r--r-- root/root        16 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/fullversion
-rw-r--r-- root/root         2 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/fvend
-rw-r--r-- root/root         9 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/fvstart
-rw-r--r-- root/root       966 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/head2
-rw-r--r-- root/root        33 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/hook1
-rw-r--r-- root/root     18503 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/oldprimaux.sl
-rw-r--r-- root/root     20047 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/primaux.sl
-rw-r--r-- root/root      3674 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/stagsubs.sl
-rw-r--r-- root/root     34168 2007-08-22 13:13 ./usr/share/common-lisp/source/bergman/auxil/topproc.sl
-rw-r--r-- root/root     29300 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/topproc.sl.old
-rw-r--r-- root/root      7804 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/truetopproc.sl
-rw-r--r-- root/root         5 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/version
-rw-r--r-- root/root      2552 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/auxil/versmacr.sl
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/common-lisp/source/bergman/domains/
-rw-r--r-- root/root       368 2007-08-21 16:20 ./usr/share/common-lisp/source/bergman/domains/P17
-rw-r--r-- root/root       392 2007-08-21 16:20 ./usr/share/common-lisp/source/bergman/domains/P19
-rw-r--r-- root/root      3331 2007-08-21 16:20 ./usr/share/common-lisp/source/bergman/domains/P223
-rw-r--r-- root/root       439 2007-08-21 16:20 ./usr/share/common-lisp/source/bergman/domains/P23
-rw-r--r-- root/root      3491 2007-08-21 16:20 ./usr/share/common-lisp/source/bergman/domains/P233
-rw-r--r-- root/root       511 2007-08-21 16:20 ./usr/share/common-lisp/source/bergman/domains/P29
-rw-r--r-- root/root       655 2007-08-21 16:20 ./usr/share/common-lisp/source/bergman/domains/P41
-rw-r--r-- root/root       261 2007-08-21 16:20 ./usr/share/common-lisp/source/bergman/domains/P7
-rw-r--r-- root/root      1041 2007-08-21 16:20 ./usr/share/common-lisp/source/bergman/domains/P73
-rw-r--r-- root/root      5983 2007-08-21 16:20 ./usr/share/common-lisp/source/bergman/domains/PRL
-rw-r--r-- root/root      1484 2007-08-21 16:20 ./usr/share/common-lisp/source/bergman/domains/dynmktab.sl
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/common-lisp/source/bergman/scripts/
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/common-lisp/source/bergman/scripts/clisp/
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/common-lisp/source/bergman/scripts/clisp/unix/
-rwxr-xr-x root/root      6880 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/scripts/clisp/unix/mkbergman
-rw-r--r-- root/root      1335 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/scripts/clisp/unix/setcmp1.sl
-rw-r--r-- root/root      1210 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/scripts/clisp/unix/setcmp2.sl
-rw-r--r-- root/root      1004 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/scripts/clisp/unix/setlisp.sl
-rw-r--r-- root/root      1006 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/scripts/clisp/unix/setmacr.sl
-rw-r--r-- root/root      1519 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/scripts/clisp/unix/setmode.sl
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/common-lisp/source/bergman/src/
-rw-r--r-- root/root     10441 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/alg2lsp.sl
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/common-lisp/source/bergman/src/anick/
-rw-r--r-- root/root     12777 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/anbetti.sl
-rw-r--r-- root/root       493 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/anickres.sl
-rw-r--r-- root/root     24800 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/aninterf.sl
-rw-r--r-- root/root      2831 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/anmacros.sl
-rw-r--r-- root/root     11138 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/bnmbetti.sl
-rw-r--r-- root/root      6792 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/bnminout.sl
-rw-r--r-- root/root     21376 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/chrecord.sl
-rw-r--r-- root/root      2486 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/dialog.sl
-rw-r--r-- root/root      6880 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/diffint.sl
-rw-r--r-- root/root      4544 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/gauss.sl
-rw-r--r-- root/root      1344 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/nthcdr.sl
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/common-lisp/source/bergman/src/anick/select_anick/
-rw-r--r-- root/root     12656 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/select_anick/a
-rw-r--r-- root/root      1808 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/select_anick/b
-rw-r--r-- root/root      7888 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/select_anick/list_of_anick_proc
-rw-r--r-- root/root       260 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/select_anick/setupdiff
-rw-r--r-- root/root      6071 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/t_inout.sl
-rw-r--r-- root/root      7697 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/tenspol.sl
-rw-r--r-- root/root      4283 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/anick/tstmodbetti.sl
-rw-r--r-- root/root      6149 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/auxil.sl
-rw-r--r-- root/root     44197 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/char0.sl
-rw-r--r-- root/root      9386 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/char2.sl
-rw-r--r-- root/root      6958 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/coeff.sl
-rw-r--r-- root/root      4849 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/debug.sl
-rw-r--r-- root/root     11319 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/dialogue.sl
-rw-r--r-- root/root      6600 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/hmacro.sl
-rw-r--r-- root/root     24614 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/homog.sl
-rw-r--r-- root/root      6292 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/hscomm.sl
-rw-r--r-- root/root     64200 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/hseries.sl
-rw-r--r-- root/root     23460 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/inout.sl
-rw-r--r-- root/root      6870 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/liemacro.sl
-rw-r--r-- root/root      5288 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/liemonom.sl
-rw-r--r-- root/root      8869 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/lispaux.sl
-rw-r--r-- root/root     20277 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/logodd.sl
-rw-r--r-- root/root     12066 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/macros.sl
-rw-r--r-- root/root     31460 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/main.sl
-rw-r--r-- root/root     64666 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/modes.sl
-rw-r--r-- root/root      3432 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/modhser.sl
-rw-r--r-- root/root     22742 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/modinout.sl
-rw-r--r-- root/root     23791 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/monom.sl
-rw-r--r-- root/root     34680 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/ncmonom.sl
-rw-r--r-- root/root      7929 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/normwd.sl
-rw-r--r-- root/root     21243 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/odd.sl
-rw-r--r-- root/root      8187 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/polynom.sl
-rw-r--r-- root/root      7812 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/reclaim.sl
-rw-r--r-- root/root      4459 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/redif.red
-rw-r--r-- root/root     18163 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/reduct.sl
-rw-r--r-- root/root      6939 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/sermul.sl
-rw-r--r-- root/root     16847 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/sfcf.sl
-rw-r--r-- root/root     22505 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/sfcf0.red
-rw-r--r-- root/root     32297 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/slext.sl
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/common-lisp/source/bergman/src/stg/
-rw-r--r-- root/root       277 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/9807update
-rw-r--r-- root/root      6767 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/accmacr.sl
-rw-r--r-- root/root      1339 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/accproc.sl
-rw-r--r-- root/root      2742 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/bind.sl
-rw-r--r-- root/root      2767 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/checkstg.sl
-rw-r--r-- root/root      9410 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/ideal.sl
-rw-r--r-- root/root      6819 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/midmacr.sl
-rw-r--r-- root/root      5290 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/monomstg.sl
-rw-r--r-- root/root     28975 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/stg.sl
-rw-r--r-- root/root     28586 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/stg.sl.1.5
-rw-r--r-- root/root      1770 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/subsmacr.sl
-rw-r--r-- root/root      1164 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/subsproc.sl
-rw-r--r-- root/root       411 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/update
-rw-r--r-- root/root      3587 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/write.sl
-rw-r--r-- root/root      3476 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/stg/write.sl.1.3
-rw-r--r-- root/root     36315 2007-08-21 16:22 ./usr/share/common-lisp/source/bergman/src/strategy.sl
-rw-r--r-- root/root     21492 2007-08-22 13:12 ./usr/share/common-lisp/source/bergman/src/syzmod.sl
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/doc/
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/doc/bergman/
-rw-r--r-- root/root       940 2022-04-08 02:55 ./usr/share/doc/bergman/README.Debian
-rw-r--r-- root/root       160 2022-04-09 00:56 ./usr/share/doc/bergman/changelog.Debian.gz
-rw-r--r-- root/root      2188 2007-08-21 16:21 ./usr/share/doc/bergman/changelog.gz
-rw-r--r-- root/root      9948 2022-04-08 01:37 ./usr/share/doc/bergman/copyright
-rw-r--r-- root/root    493669 2022-04-09 00:56 ./usr/share/doc/bergman/manual.html
drwxr-xr-x root/root         0 2022-04-09 00:56 ./usr/share/doc-base/
-rw-r--r-- root/root       355 2021-07-15 19:57 ./usr/share/doc-base/bergman.bergman

Timestamp: 09.04.2022 / 02:11:08 (UTC)