?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
shortlog | fulllog | first · prev · next
arch-community.git
4 days ago felixonmarsdb-move: moved cryptol from [community-staging] to... packages/cryptol commit | commitdiff | tree | snapshot (tar.gz zip)
4 days ago felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
4 days ago felixonmarsupgpkg: cryptol 2.13.0-4: rebuild with constraints... commit | commitdiff | tree | snapshot (tar.gz zip)
7 days ago felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
8 days ago felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
8 days ago felixonmarsupgpkg: cryptol 2.13.0-3: rebuild with tasty 1.4.2.2 commit | commitdiff | tree | snapshot (tar.gz zip)
12 days ago felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
12 days ago felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
12 days ago felixonmarsupgpkg: cryptol 2.13.0-2: rebuild with invariant 0.6 commit | commitdiff | tree | snapshot (tar.gz zip)
12 days ago felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
12 days ago felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
12 days ago felixonmarsupgpkg: cryptol 2.13.0-1: rebuild with cryptol 2.13... commit | commitdiff | tree | snapshot (tar.gz zip)
13 days ago felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
13 days ago felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
13 days ago felixonmarsupgpkg: cryptol 2.12.0-98: rebuild with tasty-sugar... commit | commitdiff | tree | snapshot (tar.gz zip)
13 days ago felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
13 days ago felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
13 days ago felixonmarsupgpkg: cryptol 2.12.0-97: rebuild with resourcet 1.2.6 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-07-05 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-07-05 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-07-05 felixonmarsupgpkg: cryptol 2.12.0-96: rebuild with ansi-terminal... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-07-01 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-07-01 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-07-01 felixonmarsupgpkg: cryptol 2.12.0-95: rebuild with kan-extensions... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-30 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-30 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-30 felixonmarsupgpkg: cryptol 2.12.0-94: rebuild with transformers... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-29 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-29 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-29 felixonmarsupgpkg: cryptol 2.12.0-93: rebuild with free 5.1.9 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-12 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-12 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-12 felixonmarsupgpkg: cryptol 2.12.0-92: rebuild with inspection... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-11 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-11 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-11 felixonmarsupgpkg: cryptol 2.12.0-91: rebuild with typed-process... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-11 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-11 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-11 felixonmarsupgpkg: cryptol 2.12.0-90: rebuild with ansi-terminal... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-10 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-10 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-10 felixonmarsupgpkg: cryptol 2.12.0-89: rebuild with microlens 0... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-10 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-09 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-09 felixonmarsupgpkg: cryptol 2.12.0-88: rebuild with unix-compat 0.6 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-07 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-07 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-07 felixonmarsupgpkg: cryptol 2.12.0-87: rebuild with concurrent... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-06 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-06 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-06 felixonmarsupgpkg: cryptol 2.12.0-86: rebuild with typed-process... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-06 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-06 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-06 felixonmarsupgpkg: cryptol 2.12.0-85: rebuild with hspec 2.9.7... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-04 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-04 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-04 felixonmarsupgpkg: cryptol 2.12.0-84: rebuild with typed-process... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-04 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-03 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-03 felixonmarsupgpkg: cryptol 2.12.0-83: rebuild with primitive 0... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-01 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-01 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-06-01 felixonmarsupgpkg: cryptol 2.12.0-82: rebuild with newtype-generic... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-31 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-30 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-30 felixonmarsupgpkg: cryptol 2.12.0-81: rebuild with tasty-inspectio... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-29 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-29 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-29 felixonmarsupgpkg: cryptol 2.12.0-80: rebuild with deriving-compat... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-29 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-29 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-29 felixonmarsupgpkg: cryptol 2.12.0-79: rebuild with kvitable 1... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-29 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-28 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-28 felixonmarsupgpkg: cryptol 2.12.0-78: rebuild with doctest 0.20.0 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-27 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-27 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-27 felixonmarsupgpkg: cryptol 2.12.0-77: rebuild with bimap 0.5.0 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-26 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-26 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-26 felixonmarsupgpkg: cryptol 2.12.0-76: rebuild with lens 5.1.1 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-21 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-21 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-21 felixonmarsupgpkg: cryptol 2.12.0-75: rebuild with adjunctions... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-18 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-18 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-18 felixonmarsupgpkg: cryptol 2.12.0-74: rebuild with resourcet 1.2.5 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-18 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-18 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-18 felixonmarsupgpkg: cryptol 2.12.0-73: rebuild with megaparsec... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-15 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-15 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-15 felixonmarsupgpkg: cryptol 2.12.0-72: rebuild with kan-extensions... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-15 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-15 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-15 felixonmarsupgpkg: cryptol 2.12.0-71: rebuild with hashable 1... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-14 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-14 felixonmarsupgpkg: cryptol 2.12.0-70: rebuild with hashable 1... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-14 felixonmarsdb-move: moved cryptol from [community-staging] to... commit | commitdiff | tree | snapshot (tar.gz zip)
2022-05-14 felixonmarsarchrelease: copy trunk to community-staging-x86_64 commit | commitdiff | tree | snapshot (tar.gz zip)
next
archlinux community build