Packages 18501 - 18600🔗
# |
Name |
Version |
Arch |
MTime |
Size |
|---|---|---|---|---|---|
18501 |
libconvert-basen-perl |
0.01-4 |
all |
March 28th, 2025 18:38 |
8.60 KiB |
18502 |
libconvert-ber-perl |
1.3200-5 |
all |
March 28th, 2025 18:26 |
29.48 KiB |
18503 |
libconvert-binary-c-perl |
0.84-1+b2 |
amd64 |
March 28th, 2025 17:45 |
265.16 KiB |
18504 |
libconvert-binhex-perl |
1.125-3 |
all |
March 28th, 2025 17:43 |
26.74 KiB |
18505 |
libconvert-color-perl |
0.16-1 |
all |
March 28th, 2025 18:12 |
45.91 KiB |
18506 |
libconvert-color-xterm-perl |
0.06-1 |
all |
March 28th, 2025 17:42 |
8.25 KiB |
18507 |
libconvert-nls-date-format-perl |
0.06-3 |
all |
March 28th, 2025 18:25 |
7.29 KiB |
18508 |
libconvert-pem-perl |
0.08-3 |
all |
March 28th, 2025 18:30 |
17.18 KiB |
18509 |
libconvert-scalar-perl |
1.12-2+b1 |
amd64 |
March 28th, 2025 17:57 |
18.52 KiB |
18510 |
libconvert-tnef-perl |
0.18-1.1 |
all |
March 28th, 2025 17:50 |
23.95 KiB |
18511 |
libconvert-units-perl |
0.43-11 |
all |
March 28th, 2025 17:49 |
11.13 KiB |
18512 |
libconvert-uulib-perl |
1.8+dfsg-1 |
amd64 |
March 28th, 2025 18:02 |
105.91 KiB |
18513 |
libconvert-ytext-perl |
0.2-3 |
all |
March 28th, 2025 17:53 |
8.30 KiB |
18514 |
libcookie-baker-perl |
0.11-3 |
all |
March 28th, 2025 18:10 |
8.68 KiB |
18515 |
libcookie-baker-xs-perl |
0.12-1+b1 |
amd64 |
March 28th, 2025 18:09 |
8.93 KiB |
18516 |
libcoordgen-dev |
3.0.1-1 |
amd64 |
March 28th, 2025 17:42 |
45.50 KiB |
18517 |
libcoordgen3 |
3.0.1-1 |
amd64 |
March 28th, 2025 17:41 |
206.39 KiB |
18518 |
libcoq-aac-tactics |
8.17.0-1+b2 |
amd64 |
March 28th, 2025 18:29 |
380.76 KiB |
18519 |
libcoq-bignums |
8.17.0-2+b1 |
amd64 |
March 28th, 2025 18:06 |
1.74 MiB |
18520 |
libcoq-coqeal |
1.1.1-3+b1 |
amd64 |
March 28th, 2025 18:24 |
4.41 MiB |
18521 |
libcoq-coqprime |
8.15-2+b1 |
amd64 |
March 28th, 2025 17:54 |
1.58 MiB |
18522 |
libcoq-coquelicot |
3.2.0-8+b1 |
amd64 |
March 28th, 2025 18:21 |
3.11 MiB |
18523 |
libcoq-core-ocaml |
8.16.1+dfsg-1+b2 |
amd64 |
March 28th, 2025 18:31 |
21.51 MiB |
18524 |
libcoq-core-ocaml-dev |
8.16.1+dfsg-1+b2 |
amd64 |
March 28th, 2025 18:16 |
40.75 MiB |
18525 |
libcoq-corn |
8.16.0-2+b1 |
amd64 |
March 28th, 2025 18:39 |
10.80 MiB |
18526 |
libcoq-deriving |
0.1.0-2+b1 |
amd64 |
March 28th, 2025 17:50 |
413.21 KiB |
18527 |
libcoq-dpdgraph |
1.0+8.16-2+b1 |
amd64 |
March 28th, 2025 18:00 |
32.36 KiB |
18528 |
libcoq-elpi |
1.16.0-2+b1 |
amd64 |
March 28th, 2025 18:07 |
2.32 MiB |
18529 |
libcoq-equations |
1.3-8.16-2+b1 |
amd64 |
March 28th, 2025 18:23 |
1.36 MiB |
18530 |
libcoq-ext-lib |
0.11.7-2+b1 |
amd64 |
March 28th, 2025 18:45 |
740.54 KiB |
18531 |
libcoq-extructures |
0.3.1-3+b1 |
amd64 |
March 28th, 2025 17:57 |
573.80 KiB |
18532 |
libcoq-flocq |
4.1.0-3+b1 |
amd64 |
March 28th, 2025 18:10 |
3.15 MiB |
18533 |
libcoq-gappa |
1.5.2-5+b1 |
amd64 |
March 28th, 2025 18:22 |
503.75 KiB |
18534 |
libcoq-hammer |
1.3.2+8.16-2+b1 |
amd64 |
March 28th, 2025 18:17 |
491.62 KiB |
18535 |
libcoq-hierarchy-builder |
1.4.0-2+b6 |
amd64 |
March 28th, 2025 18:18 |
234.50 KiB |
18536 |
libcoq-hott |
8.16-2+b1 |
amd64 |
March 28th, 2025 18:02 |
13.45 MiB |
18537 |
libcoq-interval |
4.6.1-2+b1 |
amd64 |
March 28th, 2025 17:46 |
4.40 MiB |
18538 |
libcoq-iris |
4.0.0-3+b1 |
amd64 |
March 28th, 2025 17:59 |
11.14 MiB |
18539 |
libcoq-libhyps |
2.0.6-2+b1 |
amd64 |
March 28th, 2025 18:11 |
82.96 KiB |
18540 |
libcoq-math-classes |
8.15.0-4+b1 |
amd64 |
March 28th, 2025 18:46 |
2.83 MiB |
18541 |
libcoq-mathcomp |
1.15.0-1+b4 |
amd64 |
March 28th, 2025 18:14 |
3.01 MiB |
18542 |
libcoq-mathcomp-abel |
1.2.1-1+b5 |
amd64 |
March 28th, 2025 18:23 |
1.22 MiB |
18543 |
libcoq-mathcomp-algebra |
1.15.0-1+b4 |
amd64 |
March 28th, 2025 18:44 |
6.20 MiB |
18544 |
libcoq-mathcomp-algebra-tactics |
1.0.0-8+b6 |
amd64 |
March 28th, 2025 18:03 |
224.36 KiB |
18545 |
libcoq-mathcomp-analysis |
0.6.0-2+b1 |
amd64 |
March 28th, 2025 18:44 |
10.48 MiB |
18546 |
libcoq-mathcomp-bigenough |
1.0.1-8+b4 |
amd64 |
March 28th, 2025 18:30 |
25.72 KiB |
18547 |
libcoq-mathcomp-character |
1.15.0-1+b4 |
amd64 |
March 28th, 2025 18:25 |
3.78 MiB |
18548 |
libcoq-mathcomp-field |
1.15.0-1+b4 |
amd64 |
March 28th, 2025 17:42 |
2.64 MiB |
18549 |
libcoq-mathcomp-fingroup |
1.15.0-1+b4 |
amd64 |
March 28th, 2025 18:43 |
1.83 MiB |
18550 |
libcoq-mathcomp-finmap |
1.5.2-1+b4 |
amd64 |
March 28th, 2025 18:27 |
691.84 KiB |
18551 |
libcoq-mathcomp-multinomials |
1.5.5-8+b5 |
amd64 |
March 28th, 2025 18:17 |
1.27 MiB |
18552 |
libcoq-mathcomp-real-closed |
1.1.3-1+b4 |
amd64 |
March 28th, 2025 17:59 |
2.19 MiB |
18553 |
libcoq-mathcomp-solvable |
1.15.0-1+b4 |
amd64 |
March 28th, 2025 18:28 |
4.33 MiB |
18554 |
libcoq-mathcomp-ssreflect |
1.15.0-1+b4 |
amd64 |
March 28th, 2025 18:07 |
4.01 MiB |
18555 |
libcoq-mathcomp-zify |
1.2.0+1.12+8.13-6+b4 |
amd64 |
March 28th, 2025 18:43 |
223.12 KiB |
18556 |
libcoq-menhirlib |
20220210+ds-4+b1 |
amd64 |
March 28th, 2025 18:28 |
1.40 MiB |
18557 |
libcoq-mtac2 |
1.4+8.16-2+b1 |
amd64 |
March 28th, 2025 18:15 |
744.86 KiB |
18558 |
libcoq-ott |
0.32+ds-3+b1 |
amd64 |
March 28th, 2025 18:32 |
159.79 KiB |
18559 |
libcoq-paramcoq |
1.1.3+coq8.16-3+b1 |
amd64 |
March 28th, 2025 18:30 |
113.04 KiB |
18560 |
libcoq-quickchick |
1.6.4-3+b1 |
amd64 |
March 28th, 2025 18:15 |
1.51 MiB |
18561 |
libcoq-record-update |
0.3.1-2+b1 |
amd64 |
March 28th, 2025 18:29 |
14.12 KiB |
18562 |
libcoq-reduction-effects |
0.1.4-3+b1 |
amd64 |
March 28th, 2025 18:21 |
14.12 KiB |
18563 |
libcoq-reglang |
1.1.3-2+b1 |
amd64 |
March 28th, 2025 18:02 |
707.55 KiB |
18564 |
libcoq-relation-algebra |
1.7.8-2+b1 |
amd64 |
March 28th, 2025 17:54 |
1.94 MiB |
18565 |
libcoq-simple-io |
1.8.0-2+b1 |
amd64 |
March 28th, 2025 18:43 |
87.61 KiB |
18566 |
libcoq-stdlib |
8.16.1+dfsg-1+b2 |
amd64 |
March 28th, 2025 18:42 |
20.53 MiB |
18567 |
libcoq-stdpp |
1.8.0-3+b1 |
amd64 |
March 28th, 2025 18:16 |
3.87 MiB |
18568 |
libcoq-unicoq |
1.6-8.16-2+b1 |
amd64 |
March 28th, 2025 18:15 |
76.59 KiB |
18569 |
libcoq-unimath |
20220816-2+b1 |
amd64 |
March 28th, 2025 18:37 |
38.91 MiB |
18570 |
libcore-async-clojure |
1.5.648-1 |
all |
March 28th, 2025 17:58 |
80.18 KiB |
18571 |
libcore-cache-clojure |
1.0.225-2 |
all |
March 28th, 2025 18:46 |
29.95 KiB |
18572 |
libcore-match-clojure |
1.0.0-1 |
all |
March 28th, 2025 17:45 |
33.16 KiB |
18573 |
libcore-memoize-clojure |
1.0.257-1 |
all |
March 28th, 2025 18:14 |
16.04 KiB |
18574 |
libcore-renderer-java |
0.0~R8+dfsg2-1.1 |
all |
March 28th, 2025 17:54 |
1004.89 KiB |
18575 |
libcore-renderer-java-doc |
0.0~R8+dfsg2-1.1 |
all |
March 28th, 2025 17:46 |
2.60 MiB |
18576 |
libcore-specs-alpha-clojure |
0.2.62-1 |
all |
March 28th, 2025 18:22 |
11.50 KiB |
18577 |
libcork-dev |
1.0.0~rc3-3 |
amd64 |
March 28th, 2025 18:22 |
30.27 KiB |
18578 |
libcork-doc |
1.0.0~rc3-3 |
all |
March 28th, 2025 18:10 |
145.56 KiB |
18579 |
libcork16 |
1.0.0~rc3-3 |
amd64 |
March 28th, 2025 17:48 |
42.49 KiB |
18580 |
libcorkipset-dev |
1.1.1+git20171111.6842a63-2 |
amd64 |
March 28th, 2025 18:32 |
10.98 KiB |
18581 |
libcorkipset-doc |
1.1.1+git20171111.6842a63-2 |
all |
March 28th, 2025 18:44 |
28.88 KiB |
18582 |
libcorkipset-utils |
1.1.1+git20171111.6842a63-2 |
amd64 |
March 28th, 2025 18:47 |
17.23 KiB |
18583 |
libcorkipset1 |
1.1.1+git20171111.6842a63-2 |
amd64 |
March 28th, 2025 18:43 |
16.53 KiB |
18584 |
libcoro-perl |
6.570-3+b1 |
amd64 |
March 28th, 2025 18:37 |
220.53 KiB |
18585 |
libcoro-twiggy-perl |
0.03-1.1 |
all |
March 28th, 2025 17:45 |
5.97 KiB |
18586 |
libcorona-perl |
0.1004-5 |
all |
March 28th, 2025 18:19 |
9.89 KiB |
18587 |
libcorosync-common-dev |
3.1.7-1 |
amd64 |
March 28th, 2025 18:34 |
247.36 KiB |
18588 |
libcorosync-common4 |
3.1.7-1 |
amd64 |
March 28th, 2025 18:19 |
246.78 KiB |
18589 |
libcortado-java |
0.6.0-5 |
all |
March 28th, 2025 18:23 |
277.65 KiB |
18590 |
libcos4-2 |
4.2.5+ds1-1.1+b1 |
amd64 |
March 28th, 2025 18:27 |
1.13 MiB |
18591 |
libcos4-dev |
4.2.5+ds1-1.1+b1 |
amd64 |
March 28th, 2025 18:17 |
1.18 MiB |
18592 |
libcothreads-ocaml-dev |
0.10-6+b1 |
amd64 |
March 28th, 2025 18:02 |
116.69 KiB |
18593 |
libcotp-dev |
1.2.8-1 |
amd64 |
March 28th, 2025 18:08 |
3.46 KiB |
18594 |
libcotp12 |
1.2.8-1 |
amd64 |
March 28th, 2025 18:43 |
6.56 KiB |
18595 |
libcourier-unicode-dev |
2.1.2-2+b2 |
amd64 |
March 28th, 2025 17:47 |
85.17 KiB |
18596 |
libcourier-unicode4 |
2.1.2-2+b2 |
amd64 |
March 28th, 2025 18:43 |
43.09 KiB |
18597 |
libcourriel-perl |
0.49-1 |
all |
March 28th, 2025 17:54 |
71.64 KiB |
18598 |
libcoverart-dev |
1.0.0+git20150706-9 |
amd64 |
March 28th, 2025 17:39 |
9.51 KiB |
18599 |
libcoverart-doc |
1.0.0+git20150706-9 |
all |
March 28th, 2025 17:46 |
125.88 KiB |
18600 |
libcoverart1 |
1.0.0+git20150706-9 |
amd64 |
March 28th, 2025 17:52 |
10.80 KiB |