Packages 21801 - 21900🔗
# |
Name |
Version |
Arch |
MTime |
Size |
|---|---|---|---|---|---|
21801 |
libcoq-mathcomp-algebra-tactics |
1.2.3-1build5 |
amd64 |
April 26th, 2024 11:44 |
588.67 KiB |
21802 |
libcoq-mathcomp-analysis |
1.0.0-1build4 |
amd64 |
April 26th, 2024 12:11 |
15.16 MiB |
21803 |
libcoq-mathcomp-bigenough |
1.0.1-12build5 |
amd64 |
April 26th, 2024 11:50 |
26.71 KiB |
21804 |
libcoq-mathcomp-character |
2.1.0-1build4 |
amd64 |
April 26th, 2024 12:03 |
4.21 MiB |
21805 |
libcoq-mathcomp-classical |
1.0.0-1build4 |
amd64 |
April 26th, 2024 12:12 |
2.35 MiB |
21806 |
libcoq-mathcomp-field |
2.1.0-1build4 |
amd64 |
April 26th, 2024 12:17 |
3.24 MiB |
21807 |
libcoq-mathcomp-fingroup |
2.1.0-1build4 |
amd64 |
April 26th, 2024 12:20 |
2.13 MiB |
21808 |
libcoq-mathcomp-finmap |
2.0.0-2build5 |
amd64 |
April 26th, 2024 12:29 |
712.57 KiB |
21809 |
libcoq-mathcomp-multinomials |
2.2.0-1build5 |
amd64 |
April 26th, 2024 12:17 |
1.55 MiB |
21810 |
libcoq-mathcomp-real-closed |
2.0.0-1build5 |
amd64 |
April 26th, 2024 12:30 |
2.64 MiB |
21811 |
libcoq-mathcomp-solvable |
2.1.0-1build4 |
amd64 |
April 26th, 2024 12:24 |
4.99 MiB |
21812 |
libcoq-mathcomp-ssreflect |
2.1.0-1build4 |
amd64 |
April 26th, 2024 11:40 |
6.31 MiB |
21813 |
libcoq-mathcomp-zify |
1.5.0+2.0+8.16-1build5 |
amd64 |
April 26th, 2024 12:19 |
266.67 KiB |
21814 |
libcoq-menhirlib |
20231231+ds-1build3 |
amd64 |
April 26th, 2024 12:21 |
1.44 MiB |
21815 |
libcoq-mtac2 |
1.4+8.18-1build3 |
amd64 |
April 26th, 2024 11:36 |
864.70 KiB |
21816 |
libcoq-ott |
0.33+ds-2build3 |
amd64 |
April 26th, 2024 12:19 |
177.44 KiB |
21817 |
libcoq-paramcoq |
1.1.3+coq8.18-1build2 |
amd64 |
April 26th, 2024 12:21 |
126.78 KiB |
21818 |
libcoq-quickchick |
2.0.2-1build5 |
amd64 |
April 26th, 2024 12:31 |
1.86 MiB |
21819 |
libcoq-record-update |
0.3.3-1build4 |
amd64 |
April 26th, 2024 11:41 |
15.23 KiB |
21820 |
libcoq-reduction-effects |
0.1.5-1build3 |
amd64 |
April 26th, 2024 12:29 |
14.18 KiB |
21821 |
libcoq-reglang |
1.2.1-1build5 |
amd64 |
April 26th, 2024 12:25 |
804.98 KiB |
21822 |
libcoq-relation-algebra |
1.7.9-2build5 |
amd64 |
April 26th, 2024 12:08 |
2.25 MiB |
21823 |
libcoq-simple-io |
1.8.0-4ubuntu4 |
amd64 |
April 26th, 2024 11:58 |
95.77 KiB |
21824 |
libcoq-stdlib |
8.18.0+dfsg-1build2 |
amd64 |
April 26th, 2024 11:49 |
25.28 MiB |
21825 |
libcoq-stdpp |
1.9.0-1build3 |
amd64 |
April 26th, 2024 11:46 |
5.01 MiB |
21826 |
libcoq-unicoq |
1.6-8.18-1build3 |
amd64 |
April 26th, 2024 12:31 |
85.53 KiB |
21827 |
libcoq-unimath |
20231010-1build3 |
amd64 |
April 26th, 2024 12:24 |
46.50 MiB |
21828 |
libcore-async-clojure |
1.5.648-1 |
all |
April 26th, 2024 12:02 |
79.86 KiB |
21829 |
libcore-cache-clojure |
1.0.225-2 |
all |
April 26th, 2024 12:32 |
30.37 KiB |
21830 |
libcore-match-clojure |
1.0.0-1 |
all |
April 26th, 2024 11:41 |
33.23 KiB |
21831 |
libcore-memoize-clojure |
1.0.257-1 |
all |
April 26th, 2024 11:41 |
16.31 KiB |
21832 |
libcore-specs-alpha-clojure |
0.2.62-1 |
all |
April 26th, 2024 12:10 |
11.35 KiB |
21833 |
libcork-dev |
1.0.0~rc3-3build1 |
amd64 |
April 26th, 2024 12:20 |
26.28 KiB |
21834 |
libcork-doc |
1.0.0~rc3-3build1 |
all |
April 26th, 2024 11:53 |
150.82 KiB |
21835 |
libcork16 |
1.0.0~rc3-3build1 |
amd64 |
April 26th, 2024 12:26 |
43.37 KiB |
21836 |
libcorkipset-dev |
1.1.1+git20171111.6842a63-2build1 |
amd64 |
April 26th, 2024 11:59 |
8.39 KiB |
21837 |
libcorkipset-doc |
1.1.1+git20171111.6842a63-2build1 |
all |
April 26th, 2024 12:31 |
29.75 KiB |
21838 |
libcorkipset-utils |
1.1.1+git20171111.6842a63-2build1 |
amd64 |
April 26th, 2024 11:53 |
15.60 KiB |
21839 |
libcorkipset1 |
1.1.1+git20171111.6842a63-2build1 |
amd64 |
April 26th, 2024 12:23 |
16.52 KiB |
21840 |
libcoro-perl |
6.570-3build3 |
amd64 |
April 26th, 2024 12:00 |
193.72 KiB |
21841 |
libcoro-twiggy-perl |
0.03-1.1 |
all |
April 26th, 2024 12:31 |
5.74 KiB |
21842 |
libcorona-perl |
0.1004-5 |
all |
April 26th, 2024 11:43 |
9.26 KiB |
21843 |
libcorosync-common-dev |
3.1.7-1ubuntu3 |
amd64 |
April 26th, 2024 11:48 |
5.54 KiB |
21844 |
libcorosync-common4 |
3.1.7-1ubuntu3 |
amd64 |
April 26th, 2024 11:46 |
10.73 KiB |
21845 |
libcortado-java |
0.6.0-5 |
all |
April 26th, 2024 12:12 |
261.13 KiB |
21846 |
libcos4-3 |
4.3.2+ds1-1.1build2 |
amd64 |
April 26th, 2024 11:43 |
1.26 MiB |
21847 |
libcos4-dev |
4.3.2+ds1-1.1build2 |
amd64 |
April 26th, 2024 11:41 |
1.32 MiB |
21848 |
libcothreads-ocaml-dev |
0.10-6build2 |
amd64 |
April 26th, 2024 12:29 |
133.52 KiB |
21849 |
libcotp-dev |
3.0.0-1 |
amd64 |
April 26th, 2024 11:46 |
2.75 KiB |
21850 |
libcotp3 |
3.0.0-1 |
amd64 |
April 26th, 2024 12:25 |
9.15 KiB |
21851 |
libcourier-unicode-dev |
2.1.2-2build1 |
amd64 |
April 26th, 2024 11:37 |
92.94 KiB |
21852 |
libcourier-unicode4 |
2.1.2-2build1 |
amd64 |
April 26th, 2024 12:23 |
50.75 KiB |
21853 |
libcourriel-perl |
0.49-1 |
all |
April 26th, 2024 11:36 |
65.21 KiB |
21854 |
libcoverart-dev |
1.0.0+git20150706-9build2 |
amd64 |
April 26th, 2024 12:29 |
7.83 KiB |
21855 |
libcoverart-doc |
1.0.0+git20150706-9build2 |
all |
April 26th, 2024 12:23 |
140.13 KiB |
21856 |
libcoverart1 |
1.0.0+git20150706-9build2 |
amd64 |
April 26th, 2024 11:43 |
9.75 KiB |
21857 |
libcoverartcc1v5 |
1.0.0+git20150706-9build2 |
amd64 |
April 26th, 2024 12:04 |
23.14 KiB |
21858 |
libcowsql-dev |
1.15.4-1ubuntu3 |
amd64 |
April 26th, 2024 12:16 |
98.82 KiB |
21859 |
libcowsql0 |
1.15.4-1ubuntu3 |
amd64 |
April 26th, 2024 11:46 |
71.93 KiB |
21860 |
libcoy-perl |
0.06-10 |
all |
April 26th, 2024 11:53 |
20.86 KiB |
21861 |
libcpan-audit-perl |
20240215.001-1 |
all |
April 26th, 2024 12:06 |
250.82 KiB |
21862 |
libcpan-changes-perl |
0.500003-1 |
all |
April 26th, 2024 12:20 |
28.64 KiB |
21863 |
libcpan-checksums-perl |
2.14-2 |
all |
April 26th, 2024 12:24 |
10.35 KiB |
21864 |
libcpan-common-index-perl |
0.010-2 |
all |
April 26th, 2024 12:30 |
21.28 KiB |
21865 |
libcpan-distnameinfo-perl |
0.12-3 |
all |
April 26th, 2024 11:53 |
6.77 KiB |
21866 |
libcpan-inject-perl |
1.14-1.1 |
all |
April 26th, 2024 11:54 |
14.19 KiB |
21867 |
libcpan-meta-check-perl |
0.017-1 |
all |
April 26th, 2024 11:53 |
6.30 KiB |
21868 |
libcpan-meta-requirements-perl |
2.143-1 |
all |
April 26th, 2024 12:08 |
18.88 KiB |
21869 |
libcpan-meta-yaml-perl |
0.018-2 |
all |
April 26th, 2024 11:38 |
12.47 KiB |
21870 |
libcpan-mini-inject-perl |
0.37-1 |
all |
April 26th, 2024 12:13 |
22.15 KiB |
21871 |
libcpan-mini-perl |
1.111017-1 |
all |
April 26th, 2024 11:36 |
23.46 KiB |
21872 |
libcpan-perl-releases-perl |
5.20240223-1 |
all |
April 26th, 2024 11:56 |
10.79 KiB |
21873 |
libcpan-reporter-perl |
1.2019-1 |
all |
April 26th, 2024 12:23 |
57.08 KiB |
21874 |
libcpan-reporter-smoker-perl |
0.30-1 |
all |
April 26th, 2024 12:08 |
23.66 KiB |
21875 |
libcpan-sqlite-perl |
0.220-1 |
all |
April 26th, 2024 11:59 |
52.68 KiB |
21876 |
libcpan-uploader-perl |
0.103018-1 |
all |
April 26th, 2024 12:31 |
14.34 KiB |
21877 |
libcpandb-perl |
0.19-1 |
all |
April 26th, 2024 11:41 |
36.17 KiB |
21878 |
libcpanel-json-xs-perl |
4.37-1build3 |
amd64 |
April 26th, 2024 11:49 |
111.54 KiB |
21879 |
libcpanplus-dist-build-perl |
0.90-2 |
all |
April 26th, 2024 12:08 |
15.56 KiB |
21880 |
libcpanplus-perl |
0.9914-1 |
all |
April 26th, 2024 12:15 |
234.03 KiB |
21881 |
libcpath-clojure |
0.1.2-2 |
all |
April 26th, 2024 11:52 |
15.39 KiB |
21882 |
libcpdb-backend-dev |
2.0~b5-1.2build1 |
amd64 |
April 26th, 2024 12:32 |
2.81 KiB |
21883 |
libcpdb-dev |
2.0~b5-1.2build1 |
amd64 |
April 26th, 2024 11:37 |
27.72 KiB |
21884 |
libcpdb-frontend-dev |
2.0~b5-1.2build1 |
amd64 |
April 26th, 2024 11:45 |
22.55 KiB |
21885 |
libcpdb-frontend2t64 |
2.0~b5-1.2build1 |
amd64 |
April 26th, 2024 11:57 |
19.30 KiB |
21886 |
libcpdb-libs-tools |
2.0~b5-1.2build1 |
all |
April 26th, 2024 12:01 |
2.03 KiB |
21887 |
libcpdb2t64 |
2.0~b5-1.2build1 |
amd64 |
April 26th, 2024 11:46 |
25.16 KiB |
21888 |
libcpg-dev |
3.1.7-1ubuntu3 |
amd64 |
April 26th, 2024 12:03 |
40.32 KiB |
21889 |
libcpg4 |
3.1.7-1ubuntu3 |
amd64 |
April 26th, 2024 12:18 |
12.13 KiB |
21890 |
libcpgplot0 |
1.4.1-1build1 |
amd64 |
April 26th, 2024 12:28 |
10.57 KiB |
21891 |
libcpl-dev |
7.3.2+ds-1build3 |
amd64 |
April 26th, 2024 12:19 |
58.68 KiB |
21892 |
libcpl-doc |
7.3.2+ds-1build3 |
all |
April 26th, 2024 11:44 |
357.14 KiB |
21893 |
libcplcore26 |
7.3.2+ds-1build3 |
amd64 |
April 26th, 2024 11:36 |
481.06 KiB |
21894 |
libcpldfs26 |
7.3.2+ds-1build3 |
amd64 |
April 26th, 2024 12:32 |
38.86 KiB |
21895 |
libcpldrs26 |
7.3.2+ds-1build3 |
amd64 |
April 26th, 2024 12:22 |
65.25 KiB |
21896 |
libcpluff0 |
0.2.0+ds1-2build2 |
amd64 |
April 26th, 2024 11:46 |
45.32 KiB |
21897 |
libcpluff0-dev |
0.2.0+ds1-2build2 |
amd64 |
April 26th, 2024 11:50 |
213.70 KiB |
21898 |
libcplui26 |
7.3.2+ds-1build3 |
amd64 |
April 26th, 2024 12:23 |
37.52 KiB |
21899 |
libcpp-hocon-dev |
0.3.0-1.1build1 |
amd64 |
April 26th, 2024 11:37 |
25.76 KiB |
21900 |
libcpp-hocon0.3.0t64 |
0.3.0-1.1build1 |
amd64 |
April 26th, 2024 11:55 |
364.82 KiB |