Package: proof-general Fetcher: github Source: https://github.com/ProofGeneral/PG.git Updating /mnt/store/melpa/working/proof-general/ Checking out afae49509f5cf06bb8a9573444dbf0137adfd6e0 Copying files (->) and directories (=>) from /mnt/store/melpa/working/proof-general/ to /tmp/proof-generalI2DebG/proof-general-20240429.1411 proof-general.el -> proof-general.el ! doc/dir -> dir ! doc/PG-adapting.texi -> PG-adapting.texi ! doc/ProofGeneral.texi -> ProofGeneral.texi CHANGES -> CHANGES AUTHORS -> AUTHORS COPYING -> COPYING generic => generic images => images lib => lib coq/coq-abbrev.el -> coq/coq-abbrev.el coq/coq-autotest.el -> coq/coq-autotest.el coq/coq-compile-common.el -> coq/coq-compile-common.el coq/coq-db.el -> coq/coq-db.el coq/coq-diffs.el -> coq/coq-diffs.el coq/coq-indent.el -> coq/coq-indent.el coq/coq-local-vars.el -> coq/coq-local-vars.el coq/coq-mode.el -> coq/coq-mode.el coq/coq-par-compile.el -> coq/coq-par-compile.el coq/coq-seq-compile.el -> coq/coq-seq-compile.el coq/coq-smie.el -> coq/coq-smie.el coq/coq-syntax.el -> coq/coq-syntax.el coq/coq-system.el -> coq/coq-system.el coq/coq-unicode-tokens.el -> coq/coq-unicode-tokens.el coq/coq.el -> coq/coq.el easycrypt => easycrypt phox => phox qrhl => qrhl pghaskell => pghaskell pgocaml => pgocaml pgshell => pgshell Generating /tmp/proof-generalI2DebG/proof-general-20240429.1411/PG-adapting.info Generating /tmp/proof-generalI2DebG/proof-general-20240429.1411/ProofGeneral.info Created proof-general-20240429.1411.tar containing: proof-general-20240429.1411/ proof-general-20240429.1411/AUTHORS proof-general-20240429.1411/CHANGES proof-general-20240429.1411/COPYING proof-general-20240429.1411/PG-adapting.info proof-general-20240429.1411/ProofGeneral.info proof-general-20240429.1411/coq/ proof-general-20240429.1411/coq/coq-abbrev.el proof-general-20240429.1411/coq/coq-autotest.el proof-general-20240429.1411/coq/coq-compile-common.el proof-general-20240429.1411/coq/coq-db.el proof-general-20240429.1411/coq/coq-diffs.el proof-general-20240429.1411/coq/coq-indent.el proof-general-20240429.1411/coq/coq-local-vars.el proof-general-20240429.1411/coq/coq-mode.el proof-general-20240429.1411/coq/coq-par-compile.el proof-general-20240429.1411/coq/coq-seq-compile.el proof-general-20240429.1411/coq/coq-smie.el proof-general-20240429.1411/coq/coq-syntax.el proof-general-20240429.1411/coq/coq-system.el proof-general-20240429.1411/coq/coq-unicode-tokens.el proof-general-20240429.1411/coq/coq.el proof-general-20240429.1411/dir proof-general-20240429.1411/easycrypt/ proof-general-20240429.1411/easycrypt/easycrypt-abbrev.el proof-general-20240429.1411/easycrypt/easycrypt-hooks.el proof-general-20240429.1411/easycrypt/easycrypt-keywords.el proof-general-20240429.1411/easycrypt/easycrypt-syntax.el proof-general-20240429.1411/easycrypt/easycrypt.el proof-general-20240429.1411/generic/ proof-general-20240429.1411/generic/README proof-general-20240429.1411/generic/pg-assoc.el proof-general-20240429.1411/generic/pg-autotest.el proof-general-20240429.1411/generic/pg-custom.el proof-general-20240429.1411/generic/pg-goals.el proof-general-20240429.1411/generic/pg-movie.el proof-general-20240429.1411/generic/pg-pamacs.el proof-general-20240429.1411/generic/pg-pbrpm.el proof-general-20240429.1411/generic/pg-pgip.el proof-general-20240429.1411/generic/pg-response.el proof-general-20240429.1411/generic/pg-user.el proof-general-20240429.1411/generic/pg-vars.el proof-general-20240429.1411/generic/pg-xml.el proof-general-20240429.1411/generic/proof-autoloads.el proof-general-20240429.1411/generic/proof-auxmodes.el proof-general-20240429.1411/generic/proof-config.el proof-general-20240429.1411/generic/proof-depends.el proof-general-20240429.1411/generic/proof-easy-config.el proof-general-20240429.1411/generic/proof-faces.el proof-general-20240429.1411/generic/proof-indent.el proof-general-20240429.1411/generic/proof-maths-menu.el proof-general-20240429.1411/generic/proof-menu.el proof-general-20240429.1411/generic/proof-script.el proof-general-20240429.1411/generic/proof-shell.el proof-general-20240429.1411/generic/proof-site.el proof-general-20240429.1411/generic/proof-splash.el proof-general-20240429.1411/generic/proof-syntax.el proof-general-20240429.1411/generic/proof-toolbar.el proof-general-20240429.1411/generic/proof-tree.el proof-general-20240429.1411/generic/proof-unicode-tokens.el proof-general-20240429.1411/generic/proof-useropts.el proof-general-20240429.1411/generic/proof-utils.el proof-general-20240429.1411/generic/proof.el proof-general-20240429.1411/images/ proof-general-20240429.1411/images/ProofGeneral-splash.png proof-general-20240429.1411/images/ProofGeneral.png proof-general-20240429.1411/images/README proof-general-20240429.1411/images/epg-abort.png proof-general-20240429.1411/images/epg-abort.xpm proof-general-20240429.1411/images/epg-command.png proof-general-20240429.1411/images/epg-command.xpm proof-general-20240429.1411/images/epg-context.png proof-general-20240429.1411/images/epg-context.xpm proof-general-20240429.1411/images/epg-find.png proof-general-20240429.1411/images/epg-find.xpm proof-general-20240429.1411/images/epg-goal.png proof-general-20240429.1411/images/epg-goal.xpm proof-general-20240429.1411/images/epg-goto.png proof-general-20240429.1411/images/epg-goto.xpm proof-general-20240429.1411/images/epg-help.png proof-general-20240429.1411/images/epg-help.xpm proof-general-20240429.1411/images/epg-home.png proof-general-20240429.1411/images/epg-home.xpm proof-general-20240429.1411/images/epg-info.png proof-general-20240429.1411/images/epg-info.xpm proof-general-20240429.1411/images/epg-interrupt.png proof-general-20240429.1411/images/epg-interrupt.xpm proof-general-20240429.1411/images/epg-next.png proof-general-20240429.1411/images/epg-next.xpm proof-general-20240429.1411/images/epg-prooftree.png proof-general-20240429.1411/images/epg-prooftree.xpm proof-general-20240429.1411/images/epg-qed.png proof-general-20240429.1411/images/epg-qed.xpm proof-general-20240429.1411/images/epg-restart.png proof-general-20240429.1411/images/epg-restart.xpm proof-general-20240429.1411/images/epg-retract.png proof-general-20240429.1411/images/epg-retract.xpm proof-general-20240429.1411/images/epg-state.png proof-general-20240429.1411/images/epg-state.xpm proof-general-20240429.1411/images/epg-undo.png proof-general-20240429.1411/images/epg-undo.xpm proof-general-20240429.1411/images/epg-use.png proof-general-20240429.1411/images/epg-use.xpm proof-general-20240429.1411/images/hiddenproof.xpm proof-general-20240429.1411/lib/ proof-general-20240429.1411/lib/README proof-general-20240429.1411/lib/bufhist.el proof-general-20240429.1411/lib/holes.el proof-general-20240429.1411/lib/local-vars-list.el proof-general-20240429.1411/lib/maths-menu.el proof-general-20240429.1411/lib/pg-dev.el proof-general-20240429.1411/lib/pg-fontsets.el proof-general-20240429.1411/lib/proof-compat.el proof-general-20240429.1411/lib/scomint.el proof-general-20240429.1411/lib/span.el proof-general-20240429.1411/lib/texi-docstring-magic.el proof-general-20240429.1411/lib/unicode-chars.el proof-general-20240429.1411/lib/unicode-tokens.el proof-general-20240429.1411/pghaskell/ proof-general-20240429.1411/pghaskell/pghaskell.el proof-general-20240429.1411/pgocaml/ proof-general-20240429.1411/pgocaml/pgocaml.el proof-general-20240429.1411/pgshell/ proof-general-20240429.1411/pgshell/README proof-general-20240429.1411/pgshell/example.pgsh proof-general-20240429.1411/pgshell/pgshell.el proof-general-20240429.1411/phox/ proof-general-20240429.1411/phox/phox.el proof-general-20240429.1411/phox/sqrt2.phx proof-general-20240429.1411/proof-general-pkg.el proof-general-20240429.1411/proof-general.el proof-general-20240429.1411/qrhl/ proof-general-20240429.1411/qrhl/qrhl-input.el proof-general-20240429.1411/qrhl/qrhl.el ✓ Success: 2024-05-01T16:59:32+0000 proof-general-20240429.1411.entry 2024-05-01T16:59:32+0000 proof-general-20240429.1411.tar Built proof-general in 33.796s, finished at 2024-05-01T16:59:35+0000