proofgeneral

Version: 4.5-3

Architecture: all

Number of files: 124

Total size: 2.0 MB

sharing with respect to sha512

packagefiles shareddata shared
proofgeneral-doc compare 2 (1%) 32.5 KB (1%)
mu4e compare 1 (0%) 2 B (0%)
dynare compare 1 (0%) 2 B (0%)
commit-patch compare 1 (0%) 2 B (0%)
select-xface compare 1 (0%) 2 B (0%)
mmm-mode compare 1 (0%) 2 B (0%)
emms compare 1 (0%) 2 B (0%)
riece compare 1 (0%) 2 B (0%)
w3m-el compare 1 (0%) 2 B (0%)
gettext-el compare 1 (0%) 2 B (0%)
mew-beta compare 1 (0%) 2 B (0%)
mew compare 1 (0%) 2 B (0%)
oneliner-el compare 1 (0%) 2 B (0%)
libcmor-dev compare 1 (0%) 2 B (0%)
xmlstarlet compare 1 (0%) 2 B (0%)
epix compare 1 (0%) 2 B (0%)
ferret-vis compare 1 (0%) 2 B (0%)
dictem compare 1 (0%) 2 B (0%)
post-el compare 1 (0%) 2 B (0%)
flim compare 1 (0%) 2 B (0%)
w3m-el-snapshot compare 1 (0%) 2 B (0%)
gnuserv compare 1 (0%) 2 B (0%)
dictionaries-common compare 1 (0%) 2 B (0%)
yatex compare 1 (0%) 2 B (0%)
gforth compare 1 (0%) 2 B (0%)
mhc compare 1 (0%) 2 B (0%)
cdargs compare 1 (0%) 2 B (0%)
rail compare 1 (0%) 2 B (0%)
global compare 1 (0%) 2 B (0%)
maxima-emacs compare 1 (0%) 2 B (0%)
ecb compare 1 (0%) 2 B (0%)
pymacs compare 1 (0%) 2 B (0%)
howm compare 1 (0%) 2 B (0%)
wl compare 1 (0%) 2 B (0%)
systemtap-common compare 1 (0%) 2 B (0%)
tdiary-mode compare 1 (0%) 2 B (0%)
apel compare 1 (0%) 2 B (0%)
cxref-emacs compare 1 (0%) 2 B (0%)
emacs-mozc compare 1 (0%) 2 B (0%)
auto-install-el compare 1 (0%) 2 B (0%)
supercollider-emacs compare 1 (0%) 2 B (0%)
rabbit-mode compare 1 (0%) 2 B (0%)
vm compare 1 (0%) 2 B (0%)
sass-elisp compare 1 (0%) 2 B (0%)
lookup-el compare 1 (0%) 2 B (0%)
emacsen-common compare 1 (0%) 2 B (0%)
between compare 1 (0%) 2 B (0%)
whizzytex compare 1 (0%) 2 B (0%)
latex-cjk-thai compare 1 (0%) 2 B (0%)
ddskk compare 1 (0%) 2 B (0%)
x-face-el compare 1 (0%) 2 B (0%)
tiarra-conf-el compare 1 (0%) 2 B (0%)
uim-el compare 1 (0%) 2 B (0%)
semi compare 1 (0%) 2 B (0%)
latex-cjk-common compare 1 (0%) 2 B (0%)
develock-el compare 1 (0%) 2 B (0%)
dh-make compare 1 (0%) 2 B (0%)
tpp compare 1 (0%) 2 B (0%)
mdk compare 1 (0%) 2 B (0%)
slime compare 1 (0%) 2 B (0%)
wl-beta compare 1 (0%) 2 B (0%)
mu-cite compare 1 (0%) 2 B (0%)
ilisp compare 1 (0%) 2 B (0%)
ratpoison compare 1 (0%) 2 B (0%)
goby compare 1 (0%) 2 B (0%)
speechd-el compare 1 (0%) 2 B (0%)
gcl compare 1 (0%) 2 B (0%)
haml-elisp compare 1 (0%) 2 B (0%)
aplus-fsf-el compare 1 (0%) 2 B (0%)
psgml compare 1 (0%) 2 B (0%)
bbdb3 compare 1 (0%) 2 B (0%)
metview-data compare 1 (0%) 2 B (0%)
dh-elpa compare 1 (0%) 2 B (0%)
elpa-circe compare 1 (0%) 2 B (0%)
elpa-company compare 1 (0%) 2 B (0%)
elpa-geiser compare 1 (0%) 2 B (0%)
elpa-vala-mode compare 1 (0%) 2 B (0%)
elpa-expand-region compare 1 (0%) 2 B (0%)
elpa-js2-mode compare 1 (0%) 2 B (0%)
elpa-sml-mode compare 1 (0%) 2 B (0%)
elpa-magit compare 1 (0%) 2 B (0%)
elpa-with-editor compare 1 (0%) 2 B (0%)
elpa-magit-popup compare 1 (0%) 2 B (0%)
elpa-markdown-mode compare 1 (0%) 2 B (0%)
cafeobj-mode compare 1 (0%) 2 B (0%)
elpa-editorconfig compare 1 (0%) 2 B (0%)
elpa-f compare 1 (0%) 2 B (0%)
elpa-aggressive-indent compare 1 (0%) 2 B (0%)
elpa-pkg-info compare 1 (0%) 2 B (0%)
elpa-async compare 1 (0%) 2 B (0%)
elpa-epl compare 1 (0%) 2 B (0%)
elpa-noflet compare 1 (0%) 2 B (0%)
elpa-flx compare 1 (0%) 2 B (0%)
elpa-flx-ido compare 1 (0%) 2 B (0%)
utop compare 1 (0%) 2 B (0%)
elpa-rust-mode compare 1 (0%) 2 B (0%)
elpa-helm compare 1 (0%) 2 B (0%)
elpa-helm-core compare 1 (0%) 2 B (0%)
elpa-perspective compare 1 (0%) 2 B (0%)
elpa-helm-projectile compare 1 (0%) 2 B (0%)
elpa-persp-projectile compare 1 (0%) 2 B (0%)
elpa-projectile compare 1 (0%) 2 B (0%)
elpa-popup compare 1 (0%) 2 B (0%)
elpa-paredit compare 1 (0%) 2 B (0%)
elpa-shut-up compare 1 (0%) 2 B (0%)
elpa-buttercup compare 1 (0%) 2 B (0%)
elpa-let-alist compare 1 (0%) 2 B (0%)
elpa-highlight-indentation compare 1 (0%) 2 B (0%)
elpa-zenburn-theme compare 1 (0%) 2 B (0%)
elpa-rainbow-delimiters compare 1 (0%) 2 B (0%)
elpa-parsebib compare 1 (0%) 2 B (0%)
elpa-ws-butler compare 1 (0%) 2 B (0%)
elpa-ebib compare 1 (0%) 2 B (0%)
elpa-smex compare 1 (0%) 2 B (0%)
elpa-tablist compare 1 (0%) 2 B (0%)
elpa-pdf-tools compare 1 (0%) 2 B (0%)
elpa-agda2-mode compare 1 (0%) 2 B (0%)
elpa-undo-tree compare 1 (0%) 2 B (0%)
elpa-goto-chg compare 1 (0%) 2 B (0%)
elpa-evil compare 1 (0%) 2 B (0%)
elpa-evil-paredit compare 1 (0%) 2 B (0%)
cdist compare 1 (0%) 2 B (0%)
elpa-flycheck compare 1 (0%) 2 B (0%)
quilt-el compare 1 (0%) 2 B (0%)
elpa-fill-column-indicator compare 1 (0%) 2 B (0%)
elpa-ctable compare 1 (0%) 2 B (0%)
elpa-concurrent compare 1 (0%) 2 B (0%)
elpa-deferred compare 1 (0%) 2 B (0%)
elpa-monokai-theme compare 1 (0%) 2 B (0%)
elpa-rainbow-mode compare 1 (0%) 2 B (0%)
elpa-epc compare 1 (0%) 2 B (0%)
elpa-python-environment compare 1 (0%) 2 B (0%)
elpa-restart-emacs compare 1 (0%) 2 B (0%)
elpa-powerline compare 1 (0%) 2 B (0%)
elpa-avy compare 1 (0%) 2 B (0%)
elpa-ace-link compare 1 (0%) 2 B (0%)
elpa-ledger compare 1 (0%) 2 B (0%)
elpa-ace-window compare 1 (0%) 2 B (0%)
elpa-ert-async compare 1 (0%) 2 B (0%)
elpa-simple-httpd compare 1 (0%) 2 B (0%)
elpa-elfeed compare 1 (0%) 2 B (0%)
elpa-linum-relative compare 1 (0%) 2 B (0%)
elpa-solarized-theme compare 1 (0%) 2 B (0%)
elpa-ibuffer-vc compare 1 (0%) 2 B (0%)
elpa-ibuffer-projectile compare 1 (0%) 2 B (0%)
elpa-diminish compare 1 (0%) 2 B (0%)
elpa-use-package compare 1 (0%) 2 B (0%)
elpa-bind-key compare 1 (0%) 2 B (0%)
elpa-zzz-to-char compare 1 (0%) 2 B (0%)
elpa-org-bullets compare 1 (0%) 2 B (0%)
elpa-eshell-up compare 1 (0%) 2 B (0%)
elpa-beacon compare 1 (0%) 2 B (0%)
elpa-vimish-fold compare 1 (0%) 2 B (0%)
elpa-ido-vertical-mode compare 1 (0%) 2 B (0%)
elpa-hydra compare 1 (0%) 2 B (0%)
elpa-recursive-narrow compare 1 (0%) 2 B (0%)
elpa-ido-completing-read+ compare 1 (0%) 2 B (0%)
elpa-iedit compare 1 (0%) 2 B (0%)
elpa-makey compare 1 (0%) 2 B (0%)
elpa-discover-my-major compare 1 (0%) 2 B (0%)
elpa-yasnippet compare 1 (0%) 2 B (0%)
elpa-anzu compare 1 (0%) 2 B (0%)
elpa-ztree compare 1 (0%) 2 B (0%)
elpa-fsm compare 1 (0%) 2 B (0%)
elpa-jabber compare 1 (0%) 2 B (0%)
elpa-git-timemachine compare 1 (0%) 2 B (0%)
elpa-clues-theme compare 1 (0%) 2 B (0%)
elpa-engine-mode compare 1 (0%) 2 B (0%)
elpa-muse compare 1 (0%) 2 B (0%)
elpa-git-annex compare 1 (0%) 2 B (0%)
elpa-wc-mode compare 1 (0%) 2 B (0%)
elpa-deft compare 1 (0%) 2 B (0%)
elpa-key-chord compare 1 (0%) 2 B (0%)
elpa-golden-ratio compare 1 (0%) 2 B (0%)
elpa-visual-regexp compare 1 (0%) 2 B (0%)
elpa-hungry-delete compare 1 (0%) 2 B (0%)
elpa-highlight-numbers compare 1 (0%) 2 B (0%)
elpa-openwith compare 1 (0%) 2 B (0%)
elpa-bind-map compare 1 (0%) 2 B (0%)
elpa-paredit-everywhere compare 1 (0%) 2 B (0%)
elpa-world-time-mode compare 1 (0%) 2 B (0%)
elpa-parent-mode compare 1 (0%) 2 B (0%)
elpa-rainbow-identifiers compare 1 (0%) 2 B (0%)
elpa-smeargle compare 1 (0%) 2 B (0%)
elpa-hl-todo compare 1 (0%) 2 B (0%)
elpa-which-key compare 1 (0%) 2 B (0%)
elpa-magit-annex compare 1 (0%) 2 B (0%)
elpa-git-messenger compare 1 (0%) 2 B (0%)
elpa-py-isort compare 1 (0%) 2 B (0%)
elpa-ht compare 1 (0%) 2 B (0%)
elpa-bug-hunter compare 1 (0%) 2 B (0%)
elpa-el-x compare 1 (0%) 2 B (0%)
elpa-mocker compare 1 (0%) 2 B (0%)
elpa-gitconfig-mode compare 1 (0%) 2 B (0%)
elpa-git-modes compare 1 (0%) 2 B (0%)
elpa-gitattributes-mode compare 1 (0%) 2 B (0%)
elpa-gitignore-mode compare 1 (0%) 2 B (0%)
elpa-pyvenv compare 1 (0%) 2 B (0%)
elpa-notmuch compare 1 (0%) 2 B (0%)
elpa-dired-quick-sort compare 1 (0%) 2 B (0%)
elpa-visual-fill-column compare 1 (0%) 2 B (0%)
elpa-writegood-mode compare 1 (0%) 2 B (0%)
elpa-el-mock compare 1 (0%) 2 B (0%)
elpa-jinja2-mode compare 1 (0%) 2 B (0%)
elpa-ert-expectations compare 1 (0%) 2 B (0%)
elpa-qml-mode compare 1 (0%) 2 B (0%)
elpa-dash compare 1 (0%) 2 B (0%)
elpa-s compare 1 (0%) 2 B (0%)
elpa-minimap compare 1 (0%) 2 B (0%)
elpa-no-littering compare 1 (0%) 2 B (0%)
elpa-weechat compare 1 (0%) 2 B (0%)
elpa-meson-mode compare 1 (0%) 2 B (0%)
elpa-redtick compare 1 (0%) 2 B (0%)
elpa-ghub+ compare 1 (0%) 2 B (0%)
elpa-ghub compare 1 (0%) 2 B (0%)
elpa-apiwrap compare 1 (0%) 2 B (0%)
auctex compare 1 (0%) 2 B (0%)
elpa-ag compare 1 (0%) 2 B (0%)
elpa-lua-mode compare 1 (0%) 2 B (0%)
elpa-org compare 1 (0%) 2 B (0%)
elpa-ivy-hydra compare 1 (0%) 2 B (0%)
elpa-counsel compare 1 (0%) 2 B (0%)
elpa-ivy compare 1 (0%) 2 B (0%)
elpa-swiper compare 1 (0%) 2 B (0%)
elpa-racket-mode compare 1 (0%) 2 B (0%)
elpa-xml-rpc compare 1 (0%) 2 B (0%)
elpa-debpaste compare 1 (0%) 2 B (0%)
fwupd-tests compare 1 (0%) 2 B (0%)
elpa-go-mode compare 1 (0%) 2 B (0%)
elpa-dired-du compare 1 (0%) 2 B (0%)
elpa-browse-kill-ring compare 1 (0%) 2 B (0%)
elpa-message-templ compare 1 (0%) 2 B (0%)
elpa-eyebrowse compare 1 (0%) 2 B (0%)
elpa-esh-help compare 1 (0%) 2 B (0%)
elpa-diff-hl compare 1 (0%) 2 B (0%)
elpa-py-autopep8 compare 1 (0%) 2 B (0%)
elpa-beginend compare 1 (0%) 2 B (0%)
elpa-ediprolog compare 1 (0%) 2 B (0%)
elpa-memoize compare 1 (0%) 2 B (0%)
elpa-htmlize compare 1 (0%) 2 B (0%)
elpa-ace-popup-menu compare 1 (0%) 2 B (0%)
elpa-migemo compare 1 (0%) 2 B (0%)
elpa-kv compare 1 (0%) 2 B (0%)
elpa-db compare 1 (0%) 2 B (0%)
elpa-nov compare 1 (0%) 2 B (0%)
elpa-esxml compare 1 (0%) 2 B (0%)
elpa-uuid compare 1 (0%) 2 B (0%)
elpa-diffview compare 1 (0%) 2 B (0%)
elpa-avy-menu compare 1 (0%) 2 B (0%)
elpa-eshell-git-prompt compare 1 (0%) 2 B (0%)
elpa-eshell-prompt-extras compare 1 (0%) 2 B (0%)
elpa-systemd compare 1 (0%) 2 B (0%)
elpa-m-buffer compare 1 (0%) 2 B (0%)
elpa-move-text compare 1 (0%) 2 B (0%)
elpa-virtualenvwrapper compare 1 (0%) 2 B (0%)
elpa-load-relative compare 1 (0%) 2 B (0%)
elpa-package-lint compare 1 (0%) 2 B (0%)
elpa-helm-virtualenvwrapper compare 1 (0%) 2 B (0%)
elpa-fountain-mode compare 1 (0%) 2 B (0%)
elpa-undercover compare 1 (0%) 2 B (0%)
elpa-assess compare 1 (0%) 2 B (0%)
elpa-loop compare 1 (0%) 2 B (0%)
elpa-irony compare 1 (0%) 2 B (0%)
elpa-suggest compare 1 (0%) 2 B (0%)
elpa-eshell-bookmark compare 1 (0%) 2 B (0%)
elpa-flycheck-package compare 1 (0%) 2 B (0%)
elpa-rich-minority compare 1 (0%) 2 B (0%)
elpa-find-file-in-project compare 1 (0%) 2 B (0%)
elpa-helm-ag compare 1 (0%) 2 B (0%)
elpa-lbdb compare 1 (0%) 2 B (0%)
elpa-clojure-mode compare 1 (0%) 2 B (0%)
elpa-clojure-mode-extra-font-locking compare 1 (0%) 2 B (0%)
elpa-olivetti compare 1 (0%) 2 B (0%)
elpa-spinner compare 1 (0%) 2 B (0%)
elpa-dumb-jump compare 1 (0%) 2 B (0%)
elpa-queue compare 1 (0%) 2 B (0%)
elpa-with-simulated-input compare 1 (0%) 2 B (0%)
elpa-vc-fossil compare 1 (0%) 2 B (0%)
elpa-auto-complete compare 1 (0%) 2 B (0%)
elpa-pip-requirements compare 1 (0%) 2 B (0%)
elpa-char-menu compare 1 (0%) 2 B (0%)
elpa-ps-ccrypt compare 1 (0%) 2 B (0%)
elpa-pcre2el compare 1 (0%) 2 B (0%)
elpa-yasnippet-snippets compare 1 (0%) 2 B (0%)
elpa-dired-rsync compare 1 (0%) 2 B (0%)
elpa-imenu-list compare 1 (0%) 2 B (0%)
elpa-smart-mode-line-powerline-theme compare 1 (0%) 2 B (0%)
elpa-smart-mode-line compare 1 (0%) 2 B (0%)
kicad-templates compare 1 (0%) 2 B (0%)
elpa-yaml-mode compare 1 (0%) 2 B (0%)
elpa-gitlab-ci-mode compare 1 (0%) 2 B (0%)
elpa-xcite compare 1 (0%) 2 B (0%)
elpa-c-sig compare 1 (0%) 2 B (0%)
elpa-csv-mode compare 1 (0%) 2 B (0%)
elpa-darcsum compare 1 (0%) 2 B (0%)
elpa-graphviz-dot-mode compare 1 (0%) 2 B (0%)
elpa-apache-mode compare 1 (0%) 2 B (0%)
elpa-boxquote compare 1 (0%) 2 B (0%)
elpa-session compare 1 (0%) 2 B (0%)
elpa-tabbar compare 1 (0%) 2 B (0%)
elpa-pod-mode compare 1 (0%) 2 B (0%)
elpa-initsplit compare 1 (0%) 2 B (0%)
elpa-bar-cursor compare 1 (0%) 2 B (0%)
elpa-debian-el compare 1 (0%) 2 B (0%)
elpa-dpkg-dev-el compare 1 (0%) 2 B (0%)
elpa-eproject compare 1 (0%) 2 B (0%)
elpa-devscripts compare 1 (0%) 2 B (0%)
elpa-ats2-mode compare 1 (0%) 2 B (0%)
elpa-mailscripts compare 1 (0%) 2 B (0%)
elpa-transmission compare 1 (0%) 2 B (0%)
elpa-ess compare 1 (0%) 2 B (0%)
elpa-verbiste compare 1 (0%) 2 B (0%)
elpa-sesman compare 1 (0%) 2 B (0%)
elpa-folding compare 1 (0%) 2 B (0%)
elpa-mutt-alias compare 1 (0%) 2 B (0%)
elpa-auto-dictionary compare 1 (0%) 2 B (0%)
elpa-bm compare 1 (0%) 2 B (0%)
elpa-markdown-toc compare 1 (0%) 2 B (0%)
elpa-muttrc-mode compare 1 (0%) 2 B (0%)
elpa-graphql compare 1 (0%) 2 B (0%)
elpa-treepy compare 1 (0%) 2 B (0%)
elpa-elisp-refs compare 1 (0%) 2 B (0%)
elpa-super-save compare 1 (0%) 2 B (0%)
elpa-helpful compare 1 (0%) 2 B (0%)
elpa-package-lint-flymake compare 1 (0%) 2 B (0%)
elpa-flycheck-rtags compare 1 (0%) 2 B (0%)
elpa-ivy-rtags compare 1 (0%) 2 B (0%)
elpa-helm-rtags compare 1 (0%) 2 B (0%)
elpa-company-rtags compare 1 (0%) 2 B (0%)
elpa-rtags compare 1 (0%) 2 B (0%)
elpa-ac-rtags compare 1 (0%) 2 B (0%)
elpa-lsp-mode compare 1 (0%) 2 B (0%)
elpa-haskell-mode compare 1 (0%) 2 B (0%)
elpa-lsp-haskell compare 1 (0%) 2 B (0%)
elpa-lsp-ui compare 1 (0%) 2 B (0%)
elpa-system-packages compare 1 (0%) 2 B (0%)
elpa-bind-chord compare 1 (0%) 2 B (0%)
elpa-use-package-ensure-system-package compare 1 (0%) 2 B (0%)
elpa-use-package-chords compare 1 (0%) 2 B (0%)
elpa-goo compare 1 (0%) 2 B (0%)
elpa-php-mode compare 1 (0%) 2 B (0%)
elpa-gnuplot-mode compare 1 (0%) 2 B (0%)
elpa-web-mode compare 1 (0%) 2 B (0%)
emacspeak compare 1 (0%) 2 B (0%)
golang-github-flynn-json5-dev compare 1 (0%) 2 B (0%)
elpa-puppet-mode compare 1 (0%) 2 B (0%)
elpa-elm-mode compare 1 (0%) 2 B (0%)
elpa-neotree compare 1 (0%) 2 B (0%)
elpa-lv compare 1 (0%) 2 B (0%)
elpa-helm-org compare 1 (0%) 2 B (0%)
elpa-caml compare 1 (0%) 2 B (0%)
elpa-color-theme-modern compare 1 (0%) 2 B (0%)
elpa-tuareg compare 1 (0%) 2 B (0%)
elpa-exec-path-from-shell compare 1 (0%) 2 B (0%)
elpa-xr compare 1 (0%) 2 B (0%)
elpa-eshell-z compare 1 (0%) 2 B (0%)
elpa-websocket compare 1 (0%) 2 B (0%)
elpa-protobuf-mode compare 1 (0%) 2 B (0%)
elpa-magit-todos compare 1 (0%) 2 B (0%)
elpa-dimmer compare 1 (0%) 2 B (0%)
elpa-esup compare 1 (0%) 2 B (0%)
elpa-sxiv compare 1 (0%) 2 B (0%)
elpa-adaptive-wrap compare 1 (0%) 2 B (0%)
elpa-transient compare 1 (0%) 2 B (0%)
elpa-haskell-tab-indent compare 1 (0%) 2 B (0%)
elpa-pos-tip compare 1 (0%) 2 B (0%)
elpa-atomic-chrome compare 1 (0%) 2 B (0%)
elpa-ggtags compare 1 (0%) 2 B (0%)
gri-el compare 1 (0%) 2 B (0%)
elpa-persist compare 1 (0%) 2 B (0%)
elpa-dockerfile-mode compare 1 (0%) 2 B (0%)
elpa-pg compare 1 (0%) 2 B (0%)
elpa-xcscope compare 1 (0%) 2 B (0%)
elpa-emacsql compare 1 (0%) 2 B (0%)
elpa-emacsql-mysql compare 1 (0%) 2 B (0%)
elpa-emacsql-psql compare 1 (0%) 2 B (0%)
elpa-emacsql-sqlite compare 1 (0%) 2 B (0%)
elpa-modus-themes compare 1 (0%) 2 B (0%)
elpa-wgrep compare 1 (0%) 2 B (0%)
elpa-orgalist compare 1 (0%) 2 B (0%)
elpa-wgrep-ack compare 1 (0%) 2 B (0%)
elpa-wgrep-helm compare 1 (0%) 2 B (0%)
elpa-wgrep-ag compare 1 (0%) 2 B (0%)
elpa-org-roam compare 1 (0%) 2 B (0%)
elpa-ox-texinfo+ compare 1 (0%) 2 B (0%)
elpa-closql compare 1 (0%) 2 B (0%)
elpa-magit-forge compare 1 (0%) 2 B (0%)
elpa-relint compare 1 (0%) 2 B (0%)
elpa-volume compare 1 (0%) 2 B (0%)
elpa-bongo compare 1 (0%) 2 B (0%)
elpa-git-auto-commit-mode compare 1 (0%) 2 B (0%)
elpa-org-drill compare 1 (0%) 2 B (0%)
elpa-fricas compare 1 (0%) 2 B (0%)
elpa-scala-mode compare 1 (0%) 2 B (0%)
elpa-elpher compare 1 (0%) 2 B (0%)
elpa-org-d20 compare 1 (0%) 2 B (0%)
elpa-darkroom compare 1 (0%) 2 B (0%)
elpa-org-tree-slide compare 1 (0%) 2 B (0%)
elpa-exwm compare 1 (0%) 2 B (0%)
elpa-xelb compare 1 (0%) 2 B (0%)
elpa-subed compare 1 (0%) 2 B (0%)
golang-uber-automaxprocs-dev compare 1 (0%) 2 B (0%)
cl-consfigurator compare 1 (0%) 2 B (0%)
elpa-crdt compare 1 (0%) 2 B (0%)
elpa-bash-completion compare 1 (0%) 2 B (0%)
elpa-ednc compare 1 (0%) 2 B (0%)
elpa-emacs-dashboard compare 1 (0%) 2 B (0%)
elpa-doom-themes compare 1 (0%) 2 B (0%)
elpa-magit-section compare 1 (0%) 2 B (0%)
elpa-page-break-lines compare 1 (0%) 2 B (0%)
elpa-pfuture compare 1 (0%) 2 B (0%)
elpa-treemacs-evil compare 1 (0%) 2 B (0%)
elpa-treemacs-magit compare 1 (0%) 2 B (0%)
elpa-treemacs-projectile compare 1 (0%) 2 B (0%)
elpa-treemacs compare 1 (0%) 2 B (0%)
elpa-poke compare 1 (0%) 2 B (0%)
elpa-nginx-mode compare 1 (0%) 2 B (0%)
elpa-acl2 compare 1 (0%) 2 B (0%)
din-data compare 1 (0%) 2 B (0%)
elpa-password-store compare 1 (0%) 2 B (0%)
elpa-yaml compare 1 (0%) 2 B (0%)
elpa-pyim-basedict compare 1 (0%) 2 B (0%)
elpa-pyim compare 1 (0%) 2 B (0%)
elpa-org-contrib compare 1 (0%) 2 B (0%)
elpa-lintian compare 1 (0%) 2 B (0%)
golang-github-intel-goresctrl-dev compare 1 (0%) 2 B (0%)
elpa-elscreen compare 1 (0%) 2 B (0%)
elpa-kotlin-mode compare 1 (0%) 2 B (0%)
elpa-request compare 1 (0%) 2 B (0%)
elpa-lsp-java compare 1 (0%) 2 B (0%)
elpa-bui compare 1 (0%) 2 B (0%)
elpa-lsp-treemacs compare 1 (0%) 2 B (0%)
elpa-dap-mode compare 1 (0%) 2 B (0%)
elpa-posframe compare 1 (0%) 2 B (0%)
elpa-inform-mode compare 1 (0%) 2 B (0%)
elpa-macaulay2 compare 1 (0%) 2 B (0%)
elpa-plz compare 1 (0%) 2 B (0%)
elpa-taxy-magit-section compare 1 (0%) 2 B (0%)
elpa-taxy compare 1 (0%) 2 B (0%)
elpa-svg-lib compare 1 (0%) 2 B (0%)
elpa-org-make-toc compare 1 (0%) 2 B (0%)
elpa-org-present compare 1 (0%) 2 B (0%)
elpa-writeroom-mode compare 1 (0%) 2 B (0%)
elpa-snakemake compare 1 (0%) 2 B (0%)
elpa-snakemake-mode compare 1 (0%) 2 B (0%)
elpa-vterm compare 1 (0%) 2 B (0%)
elpa-ement compare 1 (0%) 2 B (0%)
elpa-srv compare 1 (0%) 2 B (0%)
elpa-compat compare 1 (0%) 2 B (0%)
elpa-marginalia compare 1 (0%) 2 B (0%)
elpa-orderless compare 1 (0%) 2 B (0%)
elpa-vertico compare 1 (0%) 2 B (0%)
elpa-pass compare 1 (0%) 2 B (0%)
elpa-org-appear compare 1 (0%) 2 B (0%)
elpa-mastodon compare 1 (0%) 2 B (0%)
elpa-consult compare 1 (0%) 2 B (0%)
elpa-embark compare 1 (0%) 2 B (0%)
elpa-a compare 1 (0%) 2 B (0%)
elpa-ligature compare 1 (0%) 2 B (0%)
elpa-cmake-mode compare 1 (0%) 2 B (0%)
elpa-mpv compare 1 (0%) 2 B (0%)
elpa-debase compare 1 (0%) 2 B (0%)
elpa-discomfort compare 1 (0%) 2 B (0%)
elpa-exwm-mff compare 1 (0%) 2 B (0%)
elpa-ol-notmuch compare 1 (0%) 2 B (0%)
elpa-citar compare 1 (0%) 2 B (0%)
elpa-bpftrace-mode compare 1 (0%) 2 B (0%)
elpa-corfu compare 1 (0%) 2 B (0%)
elpa-autothemer compare 1 (0%) 2 B (0%)
elpa-kivy-mode compare 1 (0%) 2 B (0%)
elpa-org-caldav compare 1 (0%) 2 B (0%)
elpa-bison-mode compare 1 (0%) 2 B (0%)
elpa-language-id compare 1 (0%) 2 B (0%)
elpa-inheritenv compare 1 (0%) 2 B (0%)
elpa-delight compare 1 (0%) 2 B (0%)
elpa-erc compare 1 (0%) 2 B (0%)
elpa-format-all compare 1 (0%) 2 B (0%)
elpa-elenv compare 1 (0%) 2 B (0%)
elpa-rg compare 1 (0%) 2 B (0%)
elpa-matlab-mode compare 1 (0%) 2 B (0%)
elpa-gcl27 compare 1 (0%) 2 B (0%)
elpa-activities compare 1 (0%) 2 B (0%)
elpa-bazel-mode compare 1 (0%) 2 B (0%)
elpa-cfrs compare 1 (0%) 2 B (0%)
elpa-popon compare 1 (0%) 2 B (0%)
elpa-corfu-terminal compare 1 (0%) 2 B (0%)
elpa-dart-mode compare 1 (0%) 2 B (0%)
golang-github-benhoyt-goawk-dev compare 1 (0%) 2 B (0%)
ocamlformat compare 1 (0%) 2 B (0%)
elpa-xdg-appmenu compare 1 (0%) 2 B (0%)
elpa-eat compare 1 (0%) 2 B (0%)
elpa-dape compare 1 (0%) 2 B (0%)
elpa-lsp-docker compare 1 (0%) 2 B (0%)
elpa-oauth2 compare 1 (0%) 2 B (0%)
elpa-tp compare 1 (0%) 2 B (0%)
erlang-mode compare 1 (0%) 2 B (0%)
golang-1.23-src compare 1 (0%) 2 B (0%)
golang-1.24-src compare 1 (0%) 2 B (0%)
elpa-jsonrpc compare 1 (0%) 2 B (0%)
elpa-llama compare 1 (0%) 2 B (0%)
elpa-ivy-avy compare 1 (0%) 2 B (0%)

sharing with respect to gzip_sha512

packagefiles shareddata shared
proofgeneral-doc compare 1 (0%) 11.0 KB (0%)

Note: Packages with yellow background are required to be installed when this package is installed.

Details about this service