master · x86_64-linux · cf9005753f89 · generated 2026-10-08T00:45:57Z

sbclPackages.prove 20200218-git team-only

Name
sbcl-prove-20200218-git
Package set
sbclPackages
Source
pkgs/development/lisp-modules/imported.nix:85202
Derivation
/nix/store/xfslwyk7lqsh0y2cb0q95qxi60syjxj4-sbcl-prove-20200218-git.drv
Repology
not reported as outdated · look up (as of 2026-10-08T00:43:59Z)

Maintainers 5

HandleNameContactVia
7c6f434c Michael Raskin GitHub · 7c6f434c@mail.ru team lisp
hraban Hraban Luyat GitHub · hraban@0brg.net team lisp
lukego Luke Gorrie GitHub · luke@snabb.co team lisp
nagy Daniel Nagy GitHub · danielnagy@posteo.de team lisp
Uthar Kasper Gałkowski GitHub · galkowskikasper@gmail.com team lisp

Teams 1

Dependencies 8

PackageAsMaintainersUsed by (transitive)Status
sbclPackages.alexandria 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 3,312 team-only
sbclPackages.cl-ansi-text 20211020-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 218 team-only
sbclPackages.cl-colors 20180328-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 180 team-only
sbclPackages.cl-ppcre 20250622-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 1,523 team-only
asdf_3_3 3.3.6 other input
7c6f434c
 4,701 single outdated
bashNonInteractive 5.3p15 other input
andir, balsoft, infinisil, pyrox0
 102,175 maintained outdated
sbcl 2.6.8 other input
7c6f434c, hraban, lukego, nagy, Uthar
 4,707 team-only outdated
stdenv 26.05pre-git other input
90,063 team-only

Used by 128 directly, 165 transitively

PackageAsMaintainersUsed by (transitive)Status
sbclPackages.cl-test-more 20200218-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 16 team-only
sbclPackages.vex 20250622-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 11 team-only
sbclPackages.april 20250622-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 10 team-only
sbclPackages.cl-project 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 9 team-only
sbclPackages.prometheus_dot_test_dot_support 20201220-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 7 team-only
sbclPackages.cl-annot-prove 20150923-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 3 team-only
sbclPackages.nsort 20150505-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 2 team-only
sbclPackages.perlre 20200715-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 2 team-only
sbclPackages.test-utils 20200610-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 2 team-only
sbclPackages.cl-ksuid 20170830-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 1 team-only
sbclPackages.prometheus_dot_collectors_dot_process_dot_test 20201220-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 1 team-only
sbclPackages.prometheus_dot_collectors_dot_sbcl_dot_test 20201220-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 1 team-only
sbclPackages.prometheus_dot_exposers_dot_hunchentoot_dot_test 20201220-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 1 team-only
sbclPackages.prometheus_dot_formats_dot_text_dot_test 20201220-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 1 team-only
sbclPackages.prometheus_dot_pushgateway_dot_test 20201220-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 1 team-only
sbclPackages.prometheus_dot_test 20201220-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 1 team-only
sbclPackages.birch_dot_test 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.bit-smasher-test 20221106-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.can-test 20180328-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.caveman2-test 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.caveman2-widgets-bootstrap-test 20180228-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.caveman2-widgets-test 20180228-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-amqp_dot_test v0.4.1 propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-annot-prove-test 20150923-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-association-rules-tests 20170403-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-cache-tables-tests 20171019-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-clblas-test 20181018-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-coveralls-test 20250622-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-data-structures-tests 20260101-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-debug-print-test 20210807-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-disque-test 20171227-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-dotenv-test 20181018-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-emoji-test 20200218-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-events_dot_test 20160318-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-fixtures-test 20200325-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-hash-table-destructuring-test 20160531-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-ini-test 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-intbytes-test 20150923-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-jsx-test 20160208-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-ksuid-test 20170830-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-libsvm-format-test 20180711-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-locale-test 20151031-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-mecab-test 20181018-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-mustache-test 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-oclapi-test 20180831-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-online-learning-test 20220331-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-ply-test 20150505-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-project-test 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-punch-test 20190107-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-random-forest-test 20221106-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-reexport-test 20210228-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-rules-test 20190710-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-selenium-test 20180328-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-shellwords-test 20150923-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-slug-test 20180228-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-ssdb-test 20210124-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-statsd_dot_test 20170124-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-strings-tests 20210411-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-tasukete-test 20180228-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-textmagic-test 20151218-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-toml-test 20191130-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-transmission-test 20260101-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-voxelize-test 20150709-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-weather-jp-test 20160208-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cl-webdriver-client-test 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.clack-static-asset-middleware-test 20211209-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.clerk-test 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cletris-test 20211020-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.clgplot-test 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.climon-test 20220220-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.clipper-test 20150923-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.clusters-tests 20220331-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.coleslaw-test 20250622-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.colliflower-test 20211020-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cricket_dot_test 20220707-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.cxx-test 20260101-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.datafly-test 20260101-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.defclass-std-test 20201220-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.dotenv-test 20211209-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.elb-log-test 20150923-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.envy-test 20220331-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.event-emitter-test 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.fast-http-test 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.fast-websocket-test 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.glisph-test 20170403-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.hamcrest-tests 20250622-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.http-body-test 20250622-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.ia-hash-table_dot_test 20160318-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.id3v2-test 20160208-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.inquisitor-flexi-test 20190521-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.inquisitor-test 20190521-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.integral-rest-test 20150923-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.integral-test 20200325-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.intel-hex-test 20160318-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.ip-interfaces-test 0.2.1 propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.jonathan-test 20200925-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.kebab-test 20150608-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.lake-test 20220220-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.legion-test 20231021-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.let-over-lambda-test 20231021-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.mockingbird-test 20211020-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.modest-config-test 20180228-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.mp3-duration-test 20160208-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.myway-test 20221106-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.ningle-test 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.path-string-test 20160825-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.poler-test 20181210-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.ppath-test 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.proc-parse-test 20190813-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.prove-test 20200218-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.psychiq-test 20241012-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.quadtree-test 20150709-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.quantile-estimator_dot_test 20160825-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.quri-test 20260101-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.replic-test 20230214-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.restful-test 20150608-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.simple-config-test 20230618-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.slack-client-test 20160825-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.smart-buffer-test 20211020-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.test-gadgets 20250622-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.torrents-test 20250622-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.trivial-left-pad-test 20190813-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.trivial-ws-test 20180131-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.ufo-test 20210807-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.vellum-csv-tests 20250622-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.vellum-tests 20260101-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.xsubseq-test 20170830-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only
sbclPackages.zenekindarl-test 20171130-git propagatedBuildInputs
7c6f434c, hraban, lukego, nagy, Uthar
 0 team-only