bap | 2.0.0 | aarch64-linux | | /gnu/store/9h0wsgv8x96l21y43x6r4d5wsx7755yy-bap-2.0.0.drv1/gnu/store/sa7dsy0q9z2p3bhwkn07lfbl0ljk3mz6-bap-2.0.0.drv | ⇕ Compare |
armhf-linux | | /gnu/store/256x1nzgvakv8d0a4c63cfqdzqkkxvpq-bap-2.0.0.drv/gnu/store/pcj0i8jx40cybc8iyfmp22mbspaz7x2l-bap-2.0.0.drv | ⇕ Compare |
i586-gnu | | /gnu/store/a7rc8qy7iymakqmbx74bq9cvhjd74000-bap-2.0.0.drv1/gnu/store/xwmfsj2wx93m1wzxvv6i11lwxpi6gsh3-bap-2.0.0.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/xgw20cirhhy3smis3ffc6ar6pvli7m7a-bap-2.0.0.drv1/gnu/store/w4sb9wnw5xx7q7nf5hycb8x18cfp6jws-bap-2.0.0.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/mymvlzfdyqgh14g7gahfilzr0cb0hxjp-bap-2.0.0.drv/gnu/store/k1hhi2wd2dvlhrbzxd0cwnw7gqy3jn8n-bap-2.0.0.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/2mnk9hkqpvqi6wa5jkcb3h7g8052czap-bap-2.0.0.drv1/gnu/store/5bfxw6ipky9qj90f021bamamzq17p83g-bap-2.0.0.drv | ⇕ Compare |
x86_64-linux | | 1/gnu/store/3wqspykrla1yqr0vg78yvdqibln7wml5-bap-2.0.0.drv1/gnu/store/5afz5jx0kxpamvsl8q7lbniglr3h267m-bap-2.0.0.drv | ⇕ Compare |
brltty | 6.2 | aarch64-linux | | /gnu/store/8fp7n4yyl3503v9143b91k6y56pcg59b-brltty-6.2.drv1/gnu/store/q27p6xxl5bzvs4y4spay1xh6a4kdcvr2-brltty-6.2.drv | ⇕ Compare |
armhf-linux | | /gnu/store/ljrf4vjydacny22p3k9w54i67k5zx1bp-brltty-6.2.drv/gnu/store/wa0201lnbnpdwlxfi1jcmzk1v4v9jr3m-brltty-6.2.drv | ⇕ Compare |
i586-gnu | | /gnu/store/y6ip5zcr0pj94jdb989f4j8siwl86hj8-brltty-6.2.drv1/gnu/store/zkgncksvykz1w5az8rhlbbcfxq5vnhxn-brltty-6.2.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/vv2cnwp8gabgk184sjc1685fdlv9x2jr-brltty-6.2.drv1/gnu/store/97nj9g8ql3mpp73g9m9l3b45s7m19hkb-brltty-6.2.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/fc4qyvrng69q6wd5sl8fnqgrkfvvysb8-brltty-6.2.drv/gnu/store/b1sx98gdbi6s6hkkpwjhnkz0cibid1mi-brltty-6.2.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/l38qhv94cgy6g89y559n0fq8ykyxdfr1-brltty-6.2.drv1/gnu/store/gf4qglsjbclpiwd2w7rzv14qcj03z7mf-brltty-6.2.drv | ⇕ Compare |
x86_64-linux | | 12/gnu/store/xzzp6fr2yr8wg1rhl7csc9dphj84awig-brltty-6.2.drv1/gnu/store/7clrq7i2c5dabx0mlnxv9dmvllnj1dfl-brltty-6.2.drv | ⇕ Compare |
camlidl | 1.09 | aarch64-linux | | /gnu/store/lbcin6fgnlk2g2hbjj0a0gmjd2j0q8sw-camlidl-1.09.drv1/gnu/store/hk67w2zkp1y73vynz971vdccnzakc3li-camlidl-1.09.drv | ⇕ Compare |
armhf-linux | | /gnu/store/0mn621n88hijwzrjv4i6v0j7397ic0c2-camlidl-1.09.drv1/gnu/store/qbn3d9kjvjqp41jq07w23rqwa9pyn1rc-camlidl-1.09.drv | ⇕ Compare |
i586-gnu | | /gnu/store/wzhz4q45pmc79x8bmk4qbxmnf22lnz90-camlidl-1.09.drv1/gnu/store/kz95fzljix0a5y5jigw1w0vs1anyhw21-camlidl-1.09.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/1n9ffb9apzyqgsz3q18bcn0vvkvyanyf-camlidl-1.09.drv1/gnu/store/k1p5a06cpsij2xy8l9247xkpn8m6ms4c-camlidl-1.09.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/4d1xcf37n1wvkn3cydqh90n3s4zaccjn-camlidl-1.09.drv/gnu/store/py89lcq19x217g57i0xv13cykvy2sfyp-camlidl-1.09.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/nvqhkqdgap8dwjak93jp7xw51cmg5gb9-camlidl-1.09.drv1/gnu/store/9b79kbxglrmvj9h7cx4m6qywkfksa6y1-camlidl-1.09.drv | ⇕ Compare |
x86_64-linux | | 1/gnu/store/7pfp1xczyzv3nlhvlwyrxfqrrq0v4hpi-camlidl-1.09.drv1/gnu/store/cdw5262a87f9lcjkbwf8r91x1mc1xkqb-camlidl-1.09.drv | ⇕ Compare |
x86_64-linux | aarch64-linux-gnu | /gnu/store/anps707f25mqly4fqjf2rjkwfdrw5msr-camlidl-1.09.drv1/gnu/store/ylms3pz11sqp8xsdl508gzszrx2y5ipg-camlidl-1.09.drv | ⇕ Compare |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/a5bhnl35rs5pzgwz6l4ax5bgpzr215l3-camlidl-1.09.drv1/gnu/store/3j4mjm07iyax3ahs6q6568lrr2g1s18l-camlidl-1.09.drv | ⇕ Compare |
x86_64-linux | i586-pc-gnu | /gnu/store/zj344lqhj26q2c235ha3ihqq35nafdvh-camlidl-1.09.drv1/gnu/store/x95rf2svbwx6pb9mxi99yn3vzh7pb9xb-camlidl-1.09.drv | ⇕ Compare |
camlp5 | 7.13 | aarch64-linux | | /gnu/store/wwin0nmh3wayds4axqx59am9vgn6g39n-camlp5-7.13.drv1/gnu/store/zk8vqpv5dkjk780p61287qd50m1bahal-camlp5-7.13.drv | ⇕ Compare |
armhf-linux | | /gnu/store/kwj184yk5b1pi097ay83a2m1vc6qrqv3-camlp5-7.13.drv1/gnu/store/8s8ibszzja804s9wlavrvg77628r67ks-camlp5-7.13.drv | ⇕ Compare |
i586-gnu | | /gnu/store/ayfmq2ahfrb6y0vrfsp9y2zhvdvb9srr-camlp5-7.13.drv1/gnu/store/jpqvd7x6ziywsxyfn5bl2lmrrns35yqm-camlp5-7.13.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/vifclqzk14mg4gvrxkv8skjm8pppmfx0-camlp5-7.13.drv1/gnu/store/ixjmyf5xfyzq79a1knbv6jkk0glacwgv-camlp5-7.13.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/gan6qv134fa2y30ghw7ih6wbpg3d55db-camlp5-7.13.drv/gnu/store/z226ldx23hqiqshmzpqdld9zrn3aym5a-camlp5-7.13.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/0rzdvvj347iiwybjyhsqp7730y028qdb-camlp5-7.13.drv1/gnu/store/kighl3kw2k9101vrxk4xfh9icwl030h8-camlp5-7.13.drv | ⇕ Compare |
x86_64-linux | aarch64-linux-gnu | /gnu/store/859a7y2pdy63lgzhjxdafzb40dz2ng7f-camlp5-7.13.drv1/gnu/store/52mfdkl06az1il5mr2bv1klw5hkm674w-camlp5-7.13.drv | ⇕ Compare |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/xcvzbrjfc9chcahvwmzrydv3prpyqivl-camlp5-7.13.drv1/gnu/store/7kd7lvkidmphlvx42ndp1vipzb1g3p6z-camlp5-7.13.drv | ⇕ Compare |
x86_64-linux | i586-pc-gnu | /gnu/store/zk4c3b6na9g6lphcivfmj22cvl4h9n4z-camlp5-7.13.drv1/gnu/store/sm6kd7pdcxycj1gxxzfaffkw95hkf6cs-camlp5-7.13.drv | ⇕ Compare |
x86_64-linux | | 1/gnu/store/fq9iziqp4yfaw89jiw9hxwijjk64yva3-camlp5-7.13.drv1/gnu/store/7cxvlc8smcms5x5gp8i9ah0cr1v46rgf-camlp5-7.13.drv | ⇕ Compare |
camlzip | 1.0.6 | aarch64-linux | | /gnu/store/bzqlyg5dx5akidlzsqfvlgf48krwgzdr-camlzip-1.0.6.drv1/gnu/store/3pm21938xs98v6j983zz5x07w8vs9hrx-camlzip-1.0.6.drv | ⇕ Compare |
armhf-linux | | /gnu/store/8rrbrfn6i166i485png6i0s3fwiff180-camlzip-1.0.6.drv1/gnu/store/3ddb3cfxlkp2snrq0xksn0ayx6fizl17-camlzip-1.0.6.drv | ⇕ Compare |
i586-gnu | | /gnu/store/i8s8sbnk3w42w54ycg3mpjn6hci9im67-camlzip-1.0.6.drv1/gnu/store/977jdfz4vx1kkh1x6rkr7mlc1bvysa61-camlzip-1.0.6.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/1f0ik4xxhw79mbgndhdblikzlrfs94l3-camlzip-1.0.6.drv1/gnu/store/m8gf192gq55g0kxxwybvziswcc98dbs3-camlzip-1.0.6.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/73ndywfjcd4s464f9x07b7kchks8zq6a-camlzip-1.0.6.drv/gnu/store/p8gzkd9b3ph0d14d14731m2vbyyanbk1-camlzip-1.0.6.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/r3xa9crk0j95s8b8d6g14ljym1f9xlj0-camlzip-1.0.6.drv1/gnu/store/lzsvsh43mpmypxsq3bvrgx6w7h47gz8l-camlzip-1.0.6.drv | ⇕ Compare |
x86_64-linux | | 1/gnu/store/56zrfk1df0naramzwhxcml45irvyf0sz-camlzip-1.0.6.drv1/gnu/store/42mwgcyy95cjrsl06k2w15xafxvryxbv-camlzip-1.0.6.drv | ⇕ Compare |
coq | 8.11.2 | aarch64-linux | | /gnu/store/7ifhgsllhj4pbb78p2rr1vsbgha90hax-coq-8.11.2.drv1/gnu/store/kldz0y5c191z5gnbhqirr33hwk5nji3d-coq-8.11.2.drv | ⇕ Compare |
armhf-linux | | /gnu/store/6g4i260aszamnxnp2v6qyglzsb587zpv-coq-8.11.2.drv/gnu/store/z3vlm0nvphhw344ls3b8wq01zsiggdbh-coq-8.11.2.drv | ⇕ Compare |
i586-gnu | | /gnu/store/s6clcnp5hycp0flk5ia51nm4dvr9njgm-coq-8.11.2.drv1/gnu/store/bdw4sn87mxiq4gr9h809ic5m93vhf7cy-coq-8.11.2.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/3viqfh8n60ddda9w9iss69pdw8s50gpx-coq-8.11.2.drv1/gnu/store/zkahvnz7j7apnagx6frfjqb9g14x5bss-coq-8.11.2.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/d3ilw753z8h7sp73lghlxa3db3122cv3-coq-8.11.2.drv/gnu/store/s6n3wi32ymjwc9w8shdlvgvqx2psra58-coq-8.11.2.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/1mxv832w3w2kz1fq5f94ibr5a5ih1v08-coq-8.11.2.drv1/gnu/store/y07b5frr0x70ndych6fnpjy2vjzhk0jh-coq-8.11.2.drv | ⇕ Compare |
x86_64-linux | | 1/gnu/store/rcnwbcvirvi9g51mx72nngnsqjnwypvk-coq-8.11.2.drv1/gnu/store/1dw9zhxcsrpharixsly2k5nd0kzwyzcm-coq-8.11.2.drv | ⇕ Compare |
coq-autosubst | 1-coq86-devel.fa6ef30 | aarch64-linux | | /gnu/store/61zh8bmwj9zd9cap02agzb4ddzay8mwi-coq-autosubst-1-coq86-devel.fa6ef30.drv1/gnu/store/l2xhs4jkyy9dj9vjiwn0n4912rr1b4ik-coq-autosubst-1-coq86-devel.fa6ef30.drv | ⇕ Compare |
armhf-linux | | /gnu/store/yxhbgbkx59djqildrdl61k2lm0vkk9xj-coq-autosubst-1-coq86-devel.fa6ef30.drv/gnu/store/nrzwmv4c0acv5xvn8f7k68b8fk9ynbmp-coq-autosubst-1-coq86-devel.fa6ef30.drv | ⇕ Compare |
i586-gnu | | /gnu/store/c1jpy96qgb2v1wzki6brygsbnznql7zl-coq-autosubst-1-coq86-devel.fa6ef30.drv1/gnu/store/3knw3y80i3vzv3lcybx7bp0c2ql13paz-coq-autosubst-1-coq86-devel.fa6ef30.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/jmiipszhl6xr2hyx1lcpl4zl409sclna-coq-autosubst-1-coq86-devel.fa6ef30.drv1/gnu/store/5kqc2amlvlamr6f2gnyxmwf1v60466yr-coq-autosubst-1-coq86-devel.fa6ef30.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/wn94x3h0azd1vz8b76i2rdc024kwzcqc-coq-autosubst-1-coq86-devel.fa6ef30.drv/gnu/store/h4xds2ai2nq31n662ddnvvim6wr11vzd-coq-autosubst-1-coq86-devel.fa6ef30.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/9a82xaw2gzhxddnzq43ri9hs8n3ckddz-coq-autosubst-1-coq86-devel.fa6ef30.drv1/gnu/store/bfgghycf50qs9bf88vcb6gvk7056lhki-coq-autosubst-1-coq86-devel.fa6ef30.drv | ⇕ Compare |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/3lcc921kq767sh6vy649glxd81kp3ysh-coq-autosubst-1-coq86-devel.fa6ef30.drv/gnu/store/r1iqqhwyqrz252pimi5jjbnrxhmazbq1-coq-autosubst-1-coq86-devel.fa6ef30.drv | ⇕ Compare |
x86_64-linux | | 1/gnu/store/vlclnxn4wi6m0pn0kgsyy5wqli79xnmb-coq-autosubst-1-coq86-devel.fa6ef30.drv1/gnu/store/2i4s6pg88rdhqpq7mzcz8md948zwx85b-coq-autosubst-1-coq86-devel.fa6ef30.drv | ⇕ Compare |
x86_64-linux | aarch64-linux-gnu | /gnu/store/d78s4cvdv8468w7xg298rc6gdm4vpc1y-coq-autosubst-1-coq86-devel.fa6ef30.drv/gnu/store/bc99sx83fgwni3zgnglrhm2p6gsq4r4j-coq-autosubst-1-coq86-devel.fa6ef30.drv | ⇕ Compare |
x86_64-linux | i586-pc-gnu | /gnu/store/6i7p5ir7kvjq2pwnjjamas6x2ksvy0dx-coq-autosubst-1-coq86-devel.fa6ef30.drv1/gnu/store/cqk4jj8rdijw26ym6kqdsc4ma8yg15s5-coq-autosubst-1-coq86-devel.fa6ef30.drv | ⇕ Compare |
coq-bignums | 8.11.0 | aarch64-linux | | /gnu/store/9c1s1a4ln6zs09iwhansdyab4bdzgmgr-coq-bignums-8.11.0.drv1/gnu/store/na8jag3df0wwwn60v0vmcxfs8qj18ajg-coq-bignums-8.11.0.drv | ⇕ Compare |
armhf-linux | | /gnu/store/ggzbl773gfj71l8fxxlan5vrp9m73q9f-coq-bignums-8.11.0.drv/gnu/store/wbnl12wkddqhbxid7ypb3pl2yqra2zhx-coq-bignums-8.11.0.drv | ⇕ Compare |
i586-gnu | | /gnu/store/xvjs0fc527s72nl8as4w0f789bv5lmdm-coq-bignums-8.11.0.drv1/gnu/store/g754xq1jbjaqrgw5xwwvpbqbdrp299yf-coq-bignums-8.11.0.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/zj29nc8p3f1np60rx5akv30v951bcfak-coq-bignums-8.11.0.drv1/gnu/store/rr13kc1y0mpjx9yh3cykc2v7206imcyb-coq-bignums-8.11.0.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/jrxjpr059i23rzq4c1mqzkraklnqqqfz-coq-bignums-8.11.0.drv/gnu/store/2ax1dp1xm089w18vxms8919h5jbyaran-coq-bignums-8.11.0.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/n1v1gpffrxydzs43j7alw2ayp3p9iq7m-coq-bignums-8.11.0.drv1/gnu/store/n9lad936474i7zdg78li3icrnbxq0msw-coq-bignums-8.11.0.drv | ⇕ Compare |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/idnwab6yz58gfrxms35hrj9ran58yz1y-coq-bignums-8.11.0.drv/gnu/store/vbycgnv6ahly48h299jb5bzyhj4jqva6-coq-bignums-8.11.0.drv | ⇕ Compare |
x86_64-linux | | 1/gnu/store/6rp0vzxm4iih84ajil039388wh5533ca-coq-bignums-8.11.0.drv1/gnu/store/yi0722yvxixmp9k03sw5s8xnx1qqnk8z-coq-bignums-8.11.0.drv | ⇕ Compare |
x86_64-linux | aarch64-linux-gnu | /gnu/store/qb8r058yaddvk7x0qd5c0lkm8n330isn-coq-bignums-8.11.0.drv/gnu/store/w2pmc3af1w73pyvyc8033n1k86rw8q9h-coq-bignums-8.11.0.drv | ⇕ Compare |
x86_64-linux | i586-pc-gnu | /gnu/store/c9a8md0qhm19i4kz5xb3i1g7bs4dpmqh-coq-bignums-8.11.0.drv1/gnu/store/bwbibkpl14dbzfnl4x6pl1s1rivbaqwr-coq-bignums-8.11.0.drv | ⇕ Compare |
coq-coquelicot | 3.1.0 | aarch64-linux | | /gnu/store/8l1lj64by5gfkd4hh6wlbqmlc065mbhh-coq-coquelicot-3.1.0.drv1/gnu/store/vmb53hyx9b621l1ly9cakdxcdv3q91il-coq-coquelicot-3.1.0.drv | ⇕ Compare |
armhf-linux | | /gnu/store/6hg72yks4hppdn4s4lljsjcp7z6n1bsg-coq-coquelicot-3.1.0.drv/gnu/store/4dqhjsni1zdwgb51cl5r9hfwylrv1sfs-coq-coquelicot-3.1.0.drv | ⇕ Compare |
i586-gnu | | /gnu/store/v3m690sn9cdmvsbcppg8limsr5yil7k2-coq-coquelicot-3.1.0.drv1/gnu/store/2fdhp1xc2a03l6mqdkyl4w5jn0jbpxd0-coq-coquelicot-3.1.0.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/2jhkmhbm1mpjnw365i6gkyv477zjf5gy-coq-coquelicot-3.1.0.drv1/gnu/store/m2mwi838sbvwgpj9q13mhg9hnnj5z7gz-coq-coquelicot-3.1.0.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/mcrrjnb54qg0fsi20mgmjxfk4hfvcnd3-coq-coquelicot-3.1.0.drv/gnu/store/5w3qvfpigazfnrvf8kzi57mrd6kz16qr-coq-coquelicot-3.1.0.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/vii9ls23yhwgmqvrdyv6853wcn13c95y-coq-coquelicot-3.1.0.drv1/gnu/store/xf05icfx7vhj1sfq5m5jscrzzd6slcws-coq-coquelicot-3.1.0.drv | ⇕ Compare |
x86_64-linux | aarch64-linux-gnu | /gnu/store/7w898gyzw3g51bs5nk66mgj3y969hzy0-coq-coquelicot-3.1.0.drv/gnu/store/0m719kq2iv8rmwxg798wi4hqjhnf8aq7-coq-coquelicot-3.1.0.drv | ⇕ Compare |
x86_64-linux | i586-pc-gnu | /gnu/store/78rhw3d3dfbdi8ynwvf0xgyz6qjcs5ap-coq-coquelicot-3.1.0.drv3/gnu/store/215s0rlgkx9kwbri0i4l2kz0zwh3s9s8-coq-coquelicot-3.1.0.drv | ⇕ Compare |
x86_64-linux | | 1/gnu/store/2bs778ssgpfx4mk36g9izck2cnqsmlyh-coq-coquelicot-3.1.0.drv1/gnu/store/s076609f5643x59gfk73j1y5lc6lr8x1-coq-coquelicot-3.1.0.drv | ⇕ Compare |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/ika0yxfsrqjw106lbnz8wxhfb88ihwvj-coq-coquelicot-3.1.0.drv/gnu/store/jrfs5dp9hc8hyfn114zsswr1izfrrwxr-coq-coquelicot-3.1.0.drv | ⇕ Compare |
coq-equations | 1.2.3 | aarch64-linux | | /gnu/store/mgfrskbarpgw6p8xz7c56c96hwr35d22-coq-equations-1.2.3.drv1/gnu/store/wqarxl27npbyqzjyx71f24cq99dy4bml-coq-equations-1.2.3.drv | ⇕ Compare |
armhf-linux | | /gnu/store/zrxhv0f4pqfbxwd6ivgbm5872wdlgg0a-coq-equations-1.2.3.drv/gnu/store/906bsn9wfgcgrb7p7fb87h4fcxf5d2rh-coq-equations-1.2.3.drv | ⇕ Compare |
i586-gnu | | /gnu/store/nrz7lpkkmbzfpac90qj0bjzrja2m587n-coq-equations-1.2.3.drv1/gnu/store/g01h16ywzm6dv7x2gxzn52qsbcw9wddl-coq-equations-1.2.3.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/cv3xsccm3s47yxxs29qfpy9xg6ikza5q-coq-equations-1.2.3.drv21/gnu/store/mz6lxp91cmgnc30h2qcbmm77z1dbjr9f-coq-equations-1.2.3.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/3vnd3vfylpc2wcfc74pif097ipz19lbv-coq-equations-1.2.3.drv/gnu/store/0kfhxj0nzjrmwbfw8r7s6g6i00ajb1qa-coq-equations-1.2.3.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/b934n97y74ksmc476zjakmrrzlc2drfg-coq-equations-1.2.3.drv1/gnu/store/kl4vyngi29hlxqml23l6p36iz5ywc6hh-coq-equations-1.2.3.drv | ⇕ Compare |
x86_64-linux | | 1/gnu/store/vpi9vpj4ii7zka4vphy28rasv9r5hv4w-coq-equations-1.2.3.drv1/gnu/store/sakjz9v16ga7qzm5vcb46id1898vfsv4-coq-equations-1.2.3.drv | ⇕ Compare |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/qkqm51648m14927l47mqy17wvza8hysf-coq-equations-1.2.3.drv/gnu/store/xmrsdpl7jsccf93jvcqnd1zzrm1bi6iq-coq-equations-1.2.3.drv | ⇕ Compare |
x86_64-linux | aarch64-linux-gnu | /gnu/store/75nvj5a3mvbx8ahkbmnmnhd5cvgh0ga6-coq-equations-1.2.3.drv/gnu/store/gdh33ddkd9ix1b3fr76wd6hk54zg6629-coq-equations-1.2.3.drv | ⇕ Compare |
x86_64-linux | i586-pc-gnu | /gnu/store/g923kdhpb6m0ly1zdmx7kvy0pjw7yjh5-coq-equations-1.2.3.drv1/gnu/store/62jim4n8in78337djpkfqzqzinqyy3wd-coq-equations-1.2.3.drv | ⇕ Compare |
coq-flocq | 3.3.1 | aarch64-linux | | /gnu/store/k0cj7kli5wvrdk1b21n07f3a67pad497-coq-flocq-3.3.1.drv1/gnu/store/qdfy9zx1i01yri0j4r4mb2r3qzjp2iv2-coq-flocq-3.3.1.drv | ⇕ Compare |
armhf-linux | | /gnu/store/yyzm0l9f6pmfmmzgy91q8nn1jvfwpcay-coq-flocq-3.3.1.drv/gnu/store/avqwf1km6ar2rr6pih0v6ll4nskcwzq7-coq-flocq-3.3.1.drv | ⇕ Compare |
i586-gnu | | /gnu/store/nssxvxpags6pcwv5ykzxaqvbcj0vnyqq-coq-flocq-3.3.1.drv1/gnu/store/4gphdnhc7knx3nb3qbp3dgqvsb99vwgg-coq-flocq-3.3.1.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/d54vnziszqig5qadg632vs93z2wadvyp-coq-flocq-3.3.1.drv1/gnu/store/p6xkp1rgnydpx2siv2fhb9rp83gm1yv3-coq-flocq-3.3.1.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/l4cq0dw3l8s4xzr5faffxkzm94pdmcf3-coq-flocq-3.3.1.drv/gnu/store/y0byi8bvgvm8ya133w50p5bf6wdhnmg5-coq-flocq-3.3.1.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/q5gjz0x672yzry7xlgvscqjvl59z31p1-coq-flocq-3.3.1.drv1/gnu/store/nwaxmsgfymyvqj6xy9wdbkvnavmdv3v3-coq-flocq-3.3.1.drv | ⇕ Compare |
x86_64-linux | | 1/gnu/store/bmk11412w8c0gz4k7bd1gryrhb5y3p4r-coq-flocq-3.3.1.drv1/gnu/store/pnhjan697nvksa7ng93447dy6djqb28v-coq-flocq-3.3.1.drv | ⇕ Compare |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/c9d7fq38ak08d1zp383fp7i9v7iqsf33-coq-flocq-3.3.1.drv/gnu/store/mzqs89bzk3x0w79ldxkr0i8rx70nz96v-coq-flocq-3.3.1.drv | ⇕ Compare |
x86_64-linux | aarch64-linux-gnu | /gnu/store/2xx9lxl0gs1ac6p7g3072ihafx0i5dsa-coq-flocq-3.3.1.drv/gnu/store/7rg18icaij34f9cqprw2036hq5gpv9p6-coq-flocq-3.3.1.drv | ⇕ Compare |
x86_64-linux | i586-pc-gnu | /gnu/store/d1s1k1gpsg1f8shnjw98jr0qp5qg41pr-coq-flocq-3.3.1.drv3/gnu/store/jkbfrdaq49qmaazqclz4v3k0vrz9358g-coq-flocq-3.3.1.drv | ⇕ Compare |
coq-gappa | 1.4.4 | aarch64-linux | | /gnu/store/8pzg29z7zjn26n734g35b0dd831qd149-coq-gappa-1.4.4.drv1/gnu/store/yqrs1zljbs1sgqcp3k3b2p8cw21gh940-coq-gappa-1.4.4.drv | ⇕ Compare |
armhf-linux | | /gnu/store/gp1qlc9dqd6nz74a0vx7qcpqj1w717ia-coq-gappa-1.4.4.drv/gnu/store/0i2gnzp5104d4qf8j6442fiyfyqgqias-coq-gappa-1.4.4.drv | ⇕ Compare |
i586-gnu | | /gnu/store/349wsqws61bqy55nkwcmz9lrz49cgcj9-coq-gappa-1.4.4.drv1/gnu/store/1h874m3zanyizil0wkzig117nl6594zm-coq-gappa-1.4.4.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/sv9gb0h126bkmmqm6rqb7sri0idvdvss-coq-gappa-1.4.4.drv1/gnu/store/b19qb0aj86kp80vb2yppy3byknh8p02q-coq-gappa-1.4.4.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/jwxpb3h6pxdhbf8vb7akxxvz9bilp6bw-coq-gappa-1.4.4.drv/gnu/store/z0j0nb38hka6h4kj85l3g0h8wlzawgwk-coq-gappa-1.4.4.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/1ccz8fgk2pwc87qfwda3rx133dg7c3qv-coq-gappa-1.4.4.drv1/gnu/store/a2mxgwfvnzh6h4pyyggpxb3py2zikndx-coq-gappa-1.4.4.drv | ⇕ Compare |
x86_64-linux | | 1/gnu/store/grdriclihki7xlhz8qx86vck9329r20i-coq-gappa-1.4.4.drv1/gnu/store/0wabws93cv9nqan9pnj1qrm1vpvlndyf-coq-gappa-1.4.4.drv | ⇕ Compare |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/kn9qhzgfdgxwx8fbgy5hwcimarz8xg6y-coq-gappa-1.4.4.drv/gnu/store/0s62ci7b1154hxs36lj37rr76lnnsrax-coq-gappa-1.4.4.drv | ⇕ Compare |
x86_64-linux | aarch64-linux-gnu | /gnu/store/n2xwq5gj9yjplk92gxbzvpj1h00ddpcb-coq-gappa-1.4.4.drv/gnu/store/1cg602giihsbwp3nin839zd63mncfqid-coq-gappa-1.4.4.drv | ⇕ Compare |
x86_64-linux | i586-pc-gnu | /gnu/store/j5ywr1af07q4vm8rkvpjb8ibj33pzadj-coq-gappa-1.4.4.drv1/gnu/store/vf0qmrlvacfkbr8rfc6zgrrlz1pa8352-coq-gappa-1.4.4.drv | ⇕ Compare |
coq-interval | 4.0.0 | aarch64-linux | | /gnu/store/6jdkqkapdj1s9kqjna54wnl4a3dc61hd-coq-interval-4.0.0.drv1/gnu/store/4prpchbzq619lqg29bbdxnsy8zh0f2za-coq-interval-4.0.0.drv | ⇕ Compare |
armhf-linux | | /gnu/store/89vmf3izqff0fp63l07clhprzm3q5ppf-coq-interval-4.0.0.drv/gnu/store/gh142mhq59crk1xmfvg5ppahm7g32dvk-coq-interval-4.0.0.drv | ⇕ Compare |
i586-gnu | | /gnu/store/mbapyvh1w2nss90g712n4hcjnysyykhl-coq-interval-4.0.0.drv1/gnu/store/hl1j3f872khg8lxi8y9h207b6jm1q93r-coq-interval-4.0.0.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/r9ykfaas5pb4ww8qj0608d6vy3b0drzz-coq-interval-4.0.0.drv1/gnu/store/jvq48igrijcfa28q3l1y2lgv98xdq92h-coq-interval-4.0.0.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/byvqn6pmc1hk5dsm0258mbbj3zfxg36v-coq-interval-4.0.0.drv/gnu/store/wgmrhr45fjrgcv2dmjd8m4i2rw06fhik-coq-interval-4.0.0.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/gashfkils2r9cawc1pqfa8nz6dvg4z91-coq-interval-4.0.0.drv1/gnu/store/5kyrs9mc2ywx03hvrqsyghxxj5mgw5f8-coq-interval-4.0.0.drv | ⇕ Compare |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/9nl162vrq8nklzqdjb11kmsyysh9795d-coq-interval-4.0.0.drv/gnu/store/nb9zyxcpm72rsi3yrx2b0wyhj2g43nsg-coq-interval-4.0.0.drv | ⇕ Compare |
x86_64-linux | aarch64-linux-gnu | /gnu/store/k3ajrhzq9d4lj4xq0xpxbrs3908nj0ys-coq-interval-4.0.0.drv/gnu/store/n8bfq52ffi5a2xnc55mzbwr4nxyi2ws8-coq-interval-4.0.0.drv | ⇕ Compare |
x86_64-linux | i586-pc-gnu | /gnu/store/1wazc6dv0hkcl18lzn0mm8dlc0q7sz6k-coq-interval-4.0.0.drv1/gnu/store/gf15wdkry4n3cdp0p0s1bsjp0ivdddkl-coq-interval-4.0.0.drv | ⇕ Compare |
x86_64-linux | | 1/gnu/store/abg7n10is6dqpbj4qwn8xrw8wr07d3lm-coq-interval-4.0.0.drv1/gnu/store/b741a02ar7q94wlykllplyplm3blr6yc-coq-interval-4.0.0.drv | ⇕ Compare |
coq-mathcomp | 1.11.0 | aarch64-linux | | /gnu/store/88g2lffpkbg2c3vlh1fnszwcshbd93fp-coq-mathcomp-1.11.0.drv1/gnu/store/n5yi9sma91g5s8mqzif2fvlmnsgbdgx4-coq-mathcomp-1.11.0.drv | ⇕ Compare |
armhf-linux | | /gnu/store/vpg871515pr8rwyr3hm0jk74cjviv1r4-coq-mathcomp-1.11.0.drv/gnu/store/caxy6m9wymal5svl494kr3rahgp71l13-coq-mathcomp-1.11.0.drv | ⇕ Compare |
i586-gnu | | /gnu/store/pp4fmvy29s0lpjqxfwh1pqck1k38qfzk-coq-mathcomp-1.11.0.drv1/gnu/store/cxrw0lvpdwlvh9rqjyr8i3p1agbza5mp-coq-mathcomp-1.11.0.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/bm37r6gkgliky8yiglby2ikr6rqacrnx-coq-mathcomp-1.11.0.drv1/gnu/store/j16k9q8cq54pmj3igafh8wb8f4vaqcqp-coq-mathcomp-1.11.0.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/kw53nfnd8p3qnj7d33vnc71lw674bqah-coq-mathcomp-1.11.0.drv/gnu/store/y9isswrqk2fp6cdgg08vkxcpkhfb17ah-coq-mathcomp-1.11.0.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/zv8zjx137lji6dysa6q6r54y76b22dmj-coq-mathcomp-1.11.0.drv1/gnu/store/2w04qlqndndlc3f3v7sh8m7l998wr1dg-coq-mathcomp-1.11.0.drv | ⇕ Compare |
coq-stdpp | 1.4.0 | aarch64-linux | | /gnu/store/h0mzs2rh7xknjnpf0zhnzmay8w7q6bbh-coq-stdpp-1.4.0.drv1/gnu/store/yi6z3w98v9aj58msawldf0i0pxgdirxr-coq-stdpp-1.4.0.drv | ⇕ Compare |
armhf-linux | | /gnu/store/jc1i0qzqb526nnfq9qdx97dxm9505prv-coq-stdpp-1.4.0.drv/gnu/store/cgy29x60p72bkchg9y40ickgj9i3832m-coq-stdpp-1.4.0.drv | ⇕ Compare |
i586-gnu | | /gnu/store/ldf633fdb5xpyjlpc4xwcxmi37d7fqzd-coq-stdpp-1.4.0.drv1/gnu/store/1mdjs1lbw0zn25vy76s2yl8cq0yymqzp-coq-stdpp-1.4.0.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/lb29215di4sziw5sqd6i9m7vhvvipicc-coq-stdpp-1.4.0.drv1/gnu/store/7wqj66lpr4w89azafp5lcgpjas2ybzk7-coq-stdpp-1.4.0.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/2kgdkxi4d3ma0yzhfrlmgzzkg3prnz8y-coq-stdpp-1.4.0.drv/gnu/store/5gpyvh6zljmpilkcrsilzp676iy10bb2-coq-stdpp-1.4.0.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/7xygf1lpg6rjp984lgigxrq8ilq5z3bn-coq-stdpp-1.4.0.drv1/gnu/store/da0vnlw5yi73x6q1j7sd8p2ss1ikyibf-coq-stdpp-1.4.0.drv | ⇕ Compare |
cubicle | 1.1.2 | aarch64-linux | | /gnu/store/65vid3ps1ir2033nv20qcy0jawzkv9bf-cubicle-1.1.2.drv1/gnu/store/xpzqc28pcm2f90d4kfl19xqqcl5wk91p-cubicle-1.1.2.drv | ⇕ Compare |
armhf-linux | | /gnu/store/r7pz57ysf9cgil9rnvbppz335x4s3acz-cubicle-1.1.2.drv/gnu/store/4d6qfh9pdiw1gnxxwy0xchgxysvqd5ac-cubicle-1.1.2.drv | ⇕ Compare |
i586-gnu | | /gnu/store/gpwrzws95nw78cf5cpw6pq5279z51ph1-cubicle-1.1.2.drv1/gnu/store/3k63b52jj6y8yi24vynjhs2ly9188hxd-cubicle-1.1.2.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/h9kvx20wsg4g5pr4nysfg7c2by1w4bdh-cubicle-1.1.2.drv1/gnu/store/5bhzz03vlnrdsnay87f7szi11w1gqppd-cubicle-1.1.2.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/987cmv3d9112zbpkms8kqhl0skj4d372-cubicle-1.1.2.drv/gnu/store/wbqk938hyva4szzsz544g4iv091m55cn-cubicle-1.1.2.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/2c4ji4m0qx9w7g8paab53yza8svbmgph-cubicle-1.1.2.drv1/gnu/store/15imjc85sgbmp6yvlgm06j4nv5v65m9d-cubicle-1.1.2.drv | ⇕ Compare |
dedukti | 2.6.0 | aarch64-linux | | /gnu/store/hycvx6bgjnm18yx67pa5hfyldrm46ss4-dedukti-2.6.0.drv1/gnu/store/qnba7wj7a8qk8lnn5kbilmxn3qhdrqp9-dedukti-2.6.0.drv | ⇕ Compare |
armhf-linux | | /gnu/store/ric7qbpvvj236dbdh997c56c1yyzrfx8-dedukti-2.6.0.drv/gnu/store/7qsymj2dap8jgqi4zj6lq2mpy18rqpfr-dedukti-2.6.0.drv | ⇕ Compare |
i586-gnu | | /gnu/store/1k4dwnvyhdl3r17v9kii9nvmhx5yq7pi-dedukti-2.6.0.drv1/gnu/store/c6xrx46pyimdflq9iryfrra10jk18vzs-dedukti-2.6.0.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/xwr7ii01yi28j90gp5734avnz8ikbygb-dedukti-2.6.0.drv1/gnu/store/2bzy13y11lkpin8wkr4chfjk0zwx0z7k-dedukti-2.6.0.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/pwz10i4ykyz7px8cnrmdvyf1ihk6npic-dedukti-2.6.0.drv/gnu/store/lzna16ij4qd6p9wfyqnx9yqzif7qjp1n-dedukti-2.6.0.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/rqimdif1fg604k71salp2lisbwv12jsg-dedukti-2.6.0.drv1/gnu/store/qsc1y93a0qj8ya3rn9301xn4h8jgrghv-dedukti-2.6.0.drv | ⇕ Compare |
diffoscope | 174 | aarch64-linux | | /gnu/store/qq6fa6mybajsww5q9l76mqgpih1wnn38-diffoscope-174.drv1/gnu/store/1y7dsda8n67ardh09m9mh4m9y8sv4xa6-diffoscope-174.drv | ⇕ Compare |
armhf-linux | | /gnu/store/mhlk0v325cypjm1r0q0692fp0z86xrx4-diffoscope-174.drv/gnu/store/yw9wap3r867lnc38iywhzxdjv4d5r2rr-diffoscope-174.drv | ⇕ Compare |
i586-gnu | | /gnu/store/rnb6hm8sbcg85nav3cs43wp7mmkh5iv4-diffoscope-174.drv/gnu/store/h9p93iir4ip6bvsvny6razvvnkclvi9p-diffoscope-174.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/7jybwm0syqvhq2sg9sx615h9vcfxn8ch-diffoscope-174.drv1/gnu/store/afj1vhsg84r0qsblj0pi4s50xvnp363s-diffoscope-174.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/gqrgd0k76bkk26bz2z8ak5c15ls3i2vw-diffoscope-174.drv/gnu/store/lxn1jzxp75ssdicm39a1bb1lyg1dqx43-diffoscope-174.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/pz1m5f4pmjmxz3q5aaanbfcigwpk9gp8-diffoscope-174.drv1/gnu/store/090ys3kxsk42xbbcsr76n282v8113r2w-diffoscope-174.drv | ⇕ Compare |
dune | 2.7.1 | aarch64-linux | | /gnu/store/bsxavar3h3vw66jbnxaljdkrc22qbp5r-dune-2.7.1.drv1/gnu/store/p4r23p9716d130vjysp4vzidka4n90pr-dune-2.7.1.drv | ⇕ Compare |
armhf-linux | | /gnu/store/129996xyxy4l90g1ds7xmi0i1da12ik7-dune-2.7.1.drv/gnu/store/dqgx2zyfyp2cfr04smfw52ayxsqjh99r-dune-2.7.1.drv | ⇕ Compare |
i586-gnu | | /gnu/store/20q1g2fyfdr0myd63nymchjaka3c70pd-dune-2.7.1.drv1/gnu/store/d858fbkg2a4f9i76zhisi1maihl18nrw-dune-2.7.1.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/771q6ijz881df1g23cd8ssk02dkglbdh-dune-2.7.1.drv1/gnu/store/rxby7cm72prlfjm405b3030ipp6qck5d-dune-2.7.1.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/6c8k8bh271xx4cp46dasmh12qv6rvbvh-dune-2.7.1.drv/gnu/store/4mmjfys9lqw8967r3nhgydpy6pypas73-dune-2.7.1.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/akldpzg0a5qb6aw91glckh2pyvyryb71-dune-2.7.1.drv1/gnu/store/6jkn63nzz0sapsxfq2ja48kml7p4zxya-dune-2.7.1.drv | ⇕ Compare |
dune-configurator | 2.7.1 | aarch64-linux | | /gnu/store/f7793w3d68vzfd9kb7v8ldgcq22x675s-dune-configurator-2.7.1.drv1/gnu/store/p66cj5snz09nd8w81401wrb0kcx8gl53-dune-configurator-2.7.1.drv | ⇕ Compare |
armhf-linux | | /gnu/store/md00xqm68xmkcfab5wirwpjn9mp4xx8i-dune-configurator-2.7.1.drv/gnu/store/xz54xh6xwgbsgggrr70w3wbkl9ab6y2y-dune-configurator-2.7.1.drv | ⇕ Compare |
i586-gnu | | /gnu/store/bfbd94pd0ahzrx88j3ss1ilshx43450b-dune-configurator-2.7.1.drv1/gnu/store/xi5gr8pl3cdf4hbm0x8ydzvrg9x0w7ds-dune-configurator-2.7.1.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/yw9r7rjjkz3pq8hf0lf7dh098h0apx45-dune-configurator-2.7.1.drv1/gnu/store/5vxxw9cjrbral8haaq197yf067biv4hf-dune-configurator-2.7.1.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/dhry2i2z0b3jf6hzxqr5bq3rz9b8a0i9-dune-configurator-2.7.1.drv/gnu/store/ayifydjd8fq3ws6z7hs9lmx9cj5rz1vz-dune-configurator-2.7.1.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/d4wrkpx5rnhihyq6ggb6pschlsvpd9nc-dune-configurator-2.7.1.drv1/gnu/store/hmly16hn7va64w80m8yp8ymzswf7pyhp-dune-configurator-2.7.1.drv | ⇕ Compare |
emacs-dedukti-mode | 0-0.d7c3505 | aarch64-linux | | /gnu/store/lz1s6rh3waqqkb2f0iql2xn8fd74vcas-emacs-dedukti-mode-0-0.d7c3505.drv1/gnu/store/55yj509lh32kavp5yva9ird6lb2l97ca-emacs-dedukti-mode-0-0.d7c3505.drv | ⇕ Compare |
armhf-linux | | /gnu/store/c5xfjkgj0n2240d3zbsph1s3x5zh7709-emacs-dedukti-mode-0-0.d7c3505.drv/gnu/store/7ll8m27fclzmy1lbvbg7yhrrhz4hi1fh-emacs-dedukti-mode-0-0.d7c3505.drv | ⇕ Compare |
i586-gnu | | /gnu/store/2s0jyp6g2kxdd760kifmbaicq7xgmjsq-emacs-dedukti-mode-0-0.d7c3505.drv1/gnu/store/lqd5jxgaqz3nqx493px5fagjx1x1v0b5-emacs-dedukti-mode-0-0.d7c3505.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/550ryl9q5vfdmjin3w9347sr86njwi7l-emacs-dedukti-mode-0-0.d7c3505.drv1/gnu/store/lpizd4i97h9wac7hmw8rlbpzw18hdwyb-emacs-dedukti-mode-0-0.d7c3505.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/m5y9iifjygr9pyc0q91lr7f39szn89xp-emacs-dedukti-mode-0-0.d7c3505.drv/gnu/store/hlb2m0z0b9a7j49dffs651gdjf5y7j8v-emacs-dedukti-mode-0-0.d7c3505.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/1fr3f0ryfaybhj9xzbd1lzgsjj85a54n-emacs-dedukti-mode-0-0.d7c3505.drv1/gnu/store/yayz7gggadd1kc3nhh4vhy2aah09qwhd-emacs-dedukti-mode-0-0.d7c3505.drv | ⇕ Compare |
emacs-flycheck-dedukti | 0-0.3dbff56 | aarch64-linux | | /gnu/store/hnmfy3ham5jgvihbmv4aqnw1k9akczbn-emacs-flycheck-dedukti-0-0.3dbff56.drv1/gnu/store/ahyz9vghk7z28qaw0p03av0xpv3kk2ai-emacs-flycheck-dedukti-0-0.3dbff56.drv | ⇕ Compare |
armhf-linux | | /gnu/store/kgnp3h2125r0fkv0ypig9ra8rcjccj5h-emacs-flycheck-dedukti-0-0.3dbff56.drv/gnu/store/ra6lydlbhj7b6gqhbgmlv62i7h0rvw48-emacs-flycheck-dedukti-0-0.3dbff56.drv | ⇕ Compare |
i586-gnu | | /gnu/store/b18vkzrdib5bqnyw0c5rn0yzq4d2x7bx-emacs-flycheck-dedukti-0-0.3dbff56.drv1/gnu/store/aibxggxl8k3wl2nmn2qlkd9a52r0i63n-emacs-flycheck-dedukti-0-0.3dbff56.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/j765cbglwn5nz64pc7830107kgmrdvls-emacs-flycheck-dedukti-0-0.3dbff56.drv1/gnu/store/1nqlsg9srmjj5lqbyk144ga0d6i32rqq-emacs-flycheck-dedukti-0-0.3dbff56.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/zha9fkbnpa6ni2dw26qnqc1dbhbnkyq1-emacs-flycheck-dedukti-0-0.3dbff56.drv/gnu/store/08g9x9mnv7mbl2ny6jaw89vr5s2lzacq-emacs-flycheck-dedukti-0-0.3dbff56.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/5xbbix9m8nwx7g7aq29x86bh7j7a4g6q-emacs-flycheck-dedukti-0-0.3dbff56.drv1/gnu/store/02y8ndvdib8lz9kby210ndz97a01dmah-emacs-flycheck-dedukti-0-0.3dbff56.drv | ⇕ Compare |
emacs-tuareg | 2.2.0-0.ccde45b | aarch64-linux | | /gnu/store/4klmdzmi0257wyz89l1kwkxh01nxxq3m-emacs-tuareg-2.2.0-0.ccde45b.drv1/gnu/store/r55wmx5px7bzhincl8jjrv00gfplhvdn-emacs-tuareg-2.2.0-0.ccde45b.drv | ⇕ Compare |
armhf-linux | | /gnu/store/9ya197q53w2awf5fay6hsx6h4bnngx83-emacs-tuareg-2.2.0-0.ccde45b.drv/gnu/store/wmfyh9k8q3n8nk5sbxg82v85cyil79d9-emacs-tuareg-2.2.0-0.ccde45b.drv | ⇕ Compare |
i586-gnu | | /gnu/store/aygap07sr95p4n13208p2q2v6l2hxhyc-emacs-tuareg-2.2.0-0.ccde45b.drv1/gnu/store/iaglhaxrq38g14dgh2j86ngwgylydlqm-emacs-tuareg-2.2.0-0.ccde45b.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/3z2xnh8rkbigzfcxdqs73srlvxmncfi8-emacs-tuareg-2.2.0-0.ccde45b.drv1/gnu/store/cndhhb2j318hkv462bgh1vwwkjn6ibj6-emacs-tuareg-2.2.0-0.ccde45b.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/jbj6a0lx92s832gygmyqa0v2lpd41yff-emacs-tuareg-2.2.0-0.ccde45b.drv/gnu/store/ak4d4z0z6x2qzyazv19j3m66hp4hgzmk-emacs-tuareg-2.2.0-0.ccde45b.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/sz42wivn2h0ikf51p1wck6i80g0ssil7-emacs-tuareg-2.2.0-0.ccde45b.drv1/gnu/store/z5k6yd9p6vq2a97sms3nvlsi496b09zb-emacs-tuareg-2.2.0-0.ccde45b.drv | ⇕ Compare |
font-montserrat | 7.210 | aarch64-linux | | 1/gnu/store/lr64g29g2fc135xw68l8ddzpj64bi3z2-font-montserrat-7.210.drv | |
armhf-linux | | 1/gnu/store/n1wllma63965j7pa839z4k5pa4x32la6-font-montserrat-7.210.drv | |
i586-gnu | | 1/gnu/store/zfdi7d6mkpi8fh8mwp3bh0y7s4lbs1vw-font-montserrat-7.210.drv | |
i686-linux | | 1/gnu/store/bfr5ya1saxc0y37abl8sh959h301vcj2-font-montserrat-7.210.drv | |
mips64el-linux | | /gnu/store/kdl1sygss1zkk9yy7wd9l2b1gjzh7iww-font-montserrat-7.210.drv | |
powerpc64le-linux | | 1/gnu/store/rsxsc5fby1jhg5kisx16wbbb5sh42b9h-font-montserrat-7.210.drv | |
giac | 1.7.0-5 | aarch64-linux | | /gnu/store/1kmhachs2d9zzx8xajmspfn1k0ss903r-giac-1.7.0-5.drv1/gnu/store/axxv9byisc00fid5hrxx6ka7981by6pi-giac-1.7.0-5.drv | ⇕ Compare |
armhf-linux | | /gnu/store/zz19g96i2pjmv6mky7m5ws5w8ba1kixk-giac-1.7.0-5.drv/gnu/store/mq7pizs39rkj39y509sn422wsb58fcb9-giac-1.7.0-5.drv | ⇕ Compare |
i586-gnu | | /gnu/store/la4239zpq78g0r130hdld5jq57d2pn79-giac-1.7.0-5.drv/gnu/store/b14wl3nwgzcxxaxcr84cifyyzwbpic40-giac-1.7.0-5.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/py2hbsibfm0dkkxywjnbz72p30c2i2wl-giac-1.7.0-5.drv1/gnu/store/qjm815w32vp2c1j92niddyi3w7apqcan-giac-1.7.0-5.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/rwkqchxj161dbbhg2gv640f309i4g8xi-giac-1.7.0-5.drv/gnu/store/nxgwvl8f3k15ax49wqswn64c6r8rrd9g-giac-1.7.0-5.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/938pw0ii9y3zynihfmf6pz6k3yyariil-giac-1.7.0-5.drv1/gnu/store/r1wv7ymsbj9gcx5kdax4gqvdzc6vpxld-giac-1.7.0-5.drv | ⇕ Compare |
hevea | 2.34 | aarch64-linux | | /gnu/store/vh9bplhi9pwbanfdajwbzyddkcqdjgmj-hevea-2.34.drv1/gnu/store/fznyjr9i658cijwxn84x3h0yl421rb9b-hevea-2.34.drv | ⇕ Compare |
armhf-linux | | /gnu/store/xwp0lizpnmmjkzp86d1ys7yp6vf5s9jw-hevea-2.34.drv/gnu/store/myj4mk2s13ia9qd25sz3vrlcwiijbfbj-hevea-2.34.drv | ⇕ Compare |
i586-gnu | | /gnu/store/kilvwnkjp2skiaba6296c0xfbbry0p7n-hevea-2.34.drv1/gnu/store/5yjq5gj5frb99mvqypg0rz90lhlshk6l-hevea-2.34.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/cihgchpc6a6wazdwrx0zl5k5abjdvs2d-hevea-2.34.drv1/gnu/store/6m659fy0p4kphz4alf51fzd8ghz6aap2-hevea-2.34.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/2v5cp5xm2ay0yg36bibq4b654cjjfc9r-hevea-2.34.drv/gnu/store/cpw6a8y1vhr3xi3pkd0bkysxwzr11gyr-hevea-2.34.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/n030666jm9kz0msfqzhnvknljr220335-hevea-2.34.drv1/gnu/store/lrr1f7arq0w30l49xg77hpap1sw318wb-hevea-2.34.drv | ⇕ Compare |
lablgtk | 2.18.10 | aarch64-linux | | /gnu/store/7z50g7ghkc45w61yl5g5mja2skmgpqsc-lablgtk-2.18.10.drv1/gnu/store/acyw1gr9hwp4mnwx7g2id1fy2134h03j-lablgtk-2.18.10.drv | ⇕ Compare |
armhf-linux | | /gnu/store/15mv94kyhrf285mmzvbj5sfh7jmp2hxs-lablgtk-2.18.10.drv/gnu/store/ag6l3hq998254d1kk2hxa6zyc0dr9lj8-lablgtk-2.18.10.drv | ⇕ Compare |
i586-gnu | | /gnu/store/ci47zbbg75077iplrsya69vh6k117pn2-lablgtk-2.18.10.drv1/gnu/store/v54gqcs8fnfrmwl08ka6qwsiirabfbx7-lablgtk-2.18.10.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/l3nf1slgnpp78hdqj4vxnayyzbirl7wk-lablgtk-2.18.10.drv1/gnu/store/q3j5g7x3frvllyy0nk7b5llc3mi7mvp1-lablgtk-2.18.10.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/wsg59rmn1w4m3g7kb3fpkv5cvqnppr0d-lablgtk-2.18.10.drv/gnu/store/rrni7b5rnd4q2bkv674y22l87nv2bzl9-lablgtk-2.18.10.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/g2zj7qbf8566qhm5lnpapnrkbyrwlsdv-lablgtk-2.18.10.drv1/gnu/store/ch9pm0ps7sc6hpkvg8bgx5k6bh7992mv-lablgtk-2.18.10.drv | ⇕ Compare |
lablgtk | 3.1.1 | aarch64-linux | | /gnu/store/15l5vqkhs2pji6r83gdljbw2nh4bf6vj-lablgtk-3.1.1.drv1/gnu/store/7jiiymk4jznh0kb28vmhnbifznx84ksf-lablgtk-3.1.1.drv | ⇕ Compare |
armhf-linux | | /gnu/store/f9h5jn04b5r6grxpkspg930izh95qn7n-lablgtk-3.1.1.drv/gnu/store/yf5c4fdlaa6r1dn4rzvvwg6vigs9lf9g-lablgtk-3.1.1.drv | ⇕ Compare |
i586-gnu | | /gnu/store/g3c92hk6s8pqll3rgslayr4i5n5yy0p9-lablgtk-3.1.1.drv1/gnu/store/d35c491qgbwbr2yjvh4zv0pp9fzdb18b-lablgtk-3.1.1.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/qa3hq2di5h7kkw1hj90vs30lyzv0rk5v-lablgtk-3.1.1.drv1/gnu/store/6myklsiww1fhnkjlkgylwd92sypjz80h-lablgtk-3.1.1.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/0dgcag57jc1w8j3nmil4np35jwa53ffh-lablgtk-3.1.1.drv/gnu/store/9pbscdplhchisb57akgffkgqm7a0mypj-lablgtk-3.1.1.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/gbrmvwsfhf532j99x13f2lbgss9ng245-lablgtk-3.1.1.drv1/gnu/store/ra2088vg7ycyrsbd6yyfxxgf3ncn7kjc-lablgtk-3.1.1.drv | ⇕ Compare |
laby | 0.7.0 | aarch64-linux | | /gnu/store/zgl2wavdvzd4ly8iij48yvxwsm38qn3z-laby-0.7.0.drv3/gnu/store/5nan057x879c14bqbvrm4lr95h5jcfgw-laby-0.7.0.drv | ⇕ Compare |
armhf-linux | | /gnu/store/5lkici8wgppvs1xh8v3mzpppkirmjrrl-laby-0.7.0.drv/gnu/store/1796aw110gz5d11sbjdifhqc2wk4i8ck-laby-0.7.0.drv | ⇕ Compare |
i586-gnu | | /gnu/store/4v1hvkm2h1na3xxdsmyl3d8gmihjh9jp-laby-0.7.0.drv1/gnu/store/39wp4ra0dbm4pkfqzrfd4v8wc6ddf915-laby-0.7.0.drv | ⇕ Compare |
i686-linux | | 3/gnu/store/96inn373xazp4lin96bbzdv6b32pkc35-laby-0.7.0.drv3/gnu/store/w2w7mhlyaz9flzyj89yssibfc0gnzwkl-laby-0.7.0.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/i2ycdzgvd47p2sciw6v3ack9m9hf9rjh-laby-0.7.0.drv/gnu/store/5hb4xzl4l8af626p5sfc34gyn6r2nr3k-laby-0.7.0.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/5x5y1mcx2jv7nxn33h1adxz9vd35m3d2-laby-0.7.0.drv1/gnu/store/l2zn113r69layncjqp8svsnnhqvxvp2q-laby-0.7.0.drv | ⇕ Compare |
ocaml | 4.07.1 | aarch64-linux | | /gnu/store/942dwv48kfn24kp47nk5zpphl9zwr59a-ocaml-4.07.1.drv1/gnu/store/xii96a00klzaqlgvc0fmn89kj5vxzmba-ocaml-4.07.1.drv | ⇕ Compare |
armhf-linux | | /gnu/store/z40lgs7nf0hhzrl62bqa1yr05q63zx9r-ocaml-4.07.1.drv1/gnu/store/45wbl1i54pv1smghn0p0i5lr7gad0c7h-ocaml-4.07.1.drv | ⇕ Compare |
i586-gnu | | /gnu/store/1m633xwlpmwwlgdr0242ix45vvjdba5m-ocaml-4.07.1.drv1/gnu/store/yj9025m8b0wixiplpvyap6az6x91aclb-ocaml-4.07.1.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/n2ln5zk4iyblx76jqgbaqfd6az4rnajg-ocaml-4.07.1.drv1/gnu/store/nlwqjna12iihf2z9b3jks57gg44jb0z6-ocaml-4.07.1.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/jbpf7iv3yb8yg15qd93pcq2ilqfbfp0j-ocaml-4.07.1.drv/gnu/store/6rcarmr8wsq087v30rd2m5hlb0m09mfn-ocaml-4.07.1.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/j12r963yg8f73ih0cxdcsggvall0l13p-ocaml-4.07.1.drv1/gnu/store/jkq02ws62vj3bkkklaxma3ajv8nm86l1-ocaml-4.07.1.drv | ⇕ Compare |
ocaml | 4.09.0 | aarch64-linux | | /gnu/store/svyknf35lwly3m7ykrarv5516dxli83n-ocaml-4.09.0.drv1/gnu/store/cy3k6vph2ad9rbd737qy7lydh8ll62kh-ocaml-4.09.0.drv | ⇕ Compare |
armhf-linux | | /gnu/store/9iy0lygm9w07nkk4g5k3qrf2rvrkjpcc-ocaml-4.09.0.drv1/gnu/store/6lrchg3r8c0g24x5y9lyz114ganbraid-ocaml-4.09.0.drv | ⇕ Compare |
i586-gnu | | /gnu/store/48yr9nsp11dszdpq6wlfsmld00w4ik0b-ocaml-4.09.0.drv1/gnu/store/13y9jzwvl0hhs187q674wd341qnmjwd8-ocaml-4.09.0.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/vpicb9lhmfvd7qb7lvnhcxw4qpsqzcs2-ocaml-4.09.0.drv1/gnu/store/1j1b3m39pw46ggb4x0p520fpg0vg0ci6-ocaml-4.09.0.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/0l5q7fhj8rkykgrxf5hq130brdl5jxyl-ocaml-4.09.0.drv/gnu/store/147qn0xzrncvx8wgl9vg2d2bvgnb0mwb-ocaml-4.09.0.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/5lmgdgdd5wykj4sjzgzcy9mqi0cyd15n-ocaml-4.09.0.drv1/gnu/store/xr499jp4icbcxaz621xr4rbxr2kwqfv4-ocaml-4.09.0.drv | ⇕ Compare |
ocaml | 4.11.1 | aarch64-linux | | /gnu/store/fzm0fkcjxfn8zjr5wg5k0fgmk3gq5d3d-ocaml-4.11.1.drv1/gnu/store/3dz5hpvpwhcrhigc9am5acf4h8vzkm6x-ocaml-4.11.1.drv | ⇕ Compare |
armhf-linux | | /gnu/store/4zr24hqjb13yki5gzf4bxpjxc6b35zax-ocaml-4.11.1.drv1/gnu/store/5m63kbska3ppwvljy74jx3p4kh0gx2gz-ocaml-4.11.1.drv | ⇕ Compare |
i586-gnu | | /gnu/store/yznz2549ly2ah1hy51f51ghb2y9ka8jv-ocaml-4.11.1.drv1/gnu/store/5r2kplyw3f4v4bfd2mbbpg2vi988jjc4-ocaml-4.11.1.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/yybhgrhwmh92wyq7gmy2vqi627nx2r7d-ocaml-4.11.1.drv1/gnu/store/902pirl81cpzp5ik6hvcdyhkyjsgbzk2-ocaml-4.11.1.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/zjr22mswi5h1jj9nmzkc21imr3gvczzw-ocaml-4.11.1.drv/gnu/store/chw4i6w5jx8b9095q488wlk1zb2lap1j-ocaml-4.11.1.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/9mw7kklqr4i8xmbscv1jpbwc970dra6w-ocaml-4.11.1.drv1/gnu/store/dsn0l3yizasam9jnjd13kjahn6yk0nzj-ocaml-4.11.1.drv | ⇕ Compare |
ocaml4.07-base | 0.11.1 | aarch64-linux | | /gnu/store/6f1yg9z41aliv3djqnscdlq9iiwbl0py-ocaml4.07-base-0.11.1.drv1/gnu/store/flppzr67884adhwi5s5fih8ylsvihfvg-ocaml4.07-base-0.11.1.drv | ⇕ Compare |
armhf-linux | | /gnu/store/6ic915wfrljpqar1i9abh94wdb0df3jg-ocaml4.07-base-0.11.1.drv1/gnu/store/4psmkpyg92rkgk9y0b374zsvmf4vwmdb-ocaml4.07-base-0.11.1.drv | ⇕ Compare |
i586-gnu | | /gnu/store/y2wfna4mg5hzb8adhapdnrbs277pa5na-ocaml4.07-base-0.11.1.drv1/gnu/store/gz5zxq8d7hpa232hchgxdb749dl2k24c-ocaml4.07-base-0.11.1.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/bjhqgcy1ir0wx7yy5v5wa4av6r2phm45-ocaml4.07-base-0.11.1.drv1/gnu/store/cvlp2g9k3jmxm87q53kns13zhdyxia06-ocaml4.07-base-0.11.1.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/9m979pipnv2lxpa2lmzssvrjjgw71fv3-ocaml4.07-base-0.11.1.drv/gnu/store/r089k6fy0b0z1aif99lbczvz3y65j241-ocaml4.07-base-0.11.1.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/7s7xsrfrswcxajd41sp0b9qr0zzd7q9h-ocaml4.07-base-0.11.1.drv1/gnu/store/2xv2z6npyc6ng5hc70rasqggaw46vdsy-ocaml4.07-base-0.11.1.drv | ⇕ Compare |
ocaml4.07-bin-prot | 0.11.0 | aarch64-linux | | /gnu/store/y3hixaaaalq3xynq2y2fpmmc89c519rd-ocaml4.07-bin-prot-0.11.0.drv1/gnu/store/faqi56w1w51abpjv5gm5z62wgrjjh0k6-ocaml4.07-bin-prot-0.11.0.drv | ⇕ Compare |
armhf-linux | | /gnu/store/qiby6mbql2s4afjjy73ywzl6bdh9940y-ocaml4.07-bin-prot-0.11.0.drv/gnu/store/si4lrzjd3zwh3abrj8m0m7xz161gkmzk-ocaml4.07-bin-prot-0.11.0.drv | ⇕ Compare |
i586-gnu | | /gnu/store/lcg5pw80if10n4rv2cf5wxsbs88jx6y5-ocaml4.07-bin-prot-0.11.0.drv1/gnu/store/099znm209xdkhqml5n78ds9j22y7rxdn-ocaml4.07-bin-prot-0.11.0.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/z7smn7fi51c23fx96gz82q8i62qfg1br-ocaml4.07-bin-prot-0.11.0.drv1/gnu/store/wgjjqnwliapxkmwj5r52q19jymx1ad4i-ocaml4.07-bin-prot-0.11.0.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/z6vhclz1aa4b0y5wp00j8w6ycszk5kl2-ocaml4.07-bin-prot-0.11.0.drv/gnu/store/iv900m3bnyn5g4lib9x2zwhc20n3qr9h-ocaml4.07-bin-prot-0.11.0.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/givmprjck2j0wxzlr6lwlpnzryr7nkc8-ocaml4.07-bin-prot-0.11.0.drv1/gnu/store/p81z7j7yv2l2mfrgi5r5di480azgl5w0-ocaml4.07-bin-prot-0.11.0.drv | ⇕ Compare |
ocaml4.07-charinfo-width | 1.1.0 | aarch64-linux | | /gnu/store/widilgfzgy7zbjqy9j3sj6zsamqbca5w-ocaml4.07-charinfo-width-1.1.0.drv1/gnu/store/yzkfkgi99v48ns5gnyblqs92k9s09gnn-ocaml4.07-charinfo-width-1.1.0.drv | ⇕ Compare |
armhf-linux | | /gnu/store/q74n0fbm058a75a0fns3y3asvw8v90cf-ocaml4.07-charinfo-width-1.1.0.drv/gnu/store/mcy9qs9lxxiqzdyhcjryj81x5db3gx52-ocaml4.07-charinfo-width-1.1.0.drv | ⇕ Compare |
i586-gnu | | /gnu/store/kn27xcg01vl81idfbyyqhlr86kdg0gkr-ocaml4.07-charinfo-width-1.1.0.drv1/gnu/store/c5w3vpp1fxdfzipf1kjka3vsln1si3kj-ocaml4.07-charinfo-width-1.1.0.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/44hsxkqk208g8gamnx69c3baczhj1jvw-ocaml4.07-charinfo-width-1.1.0.drv1/gnu/store/qng13hnyk83zf1zw6n2x8s3rydxm96b0-ocaml4.07-charinfo-width-1.1.0.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/abglfzvgf82s459dgzhp0mq04cwwsmg0-ocaml4.07-charinfo-width-1.1.0.drv/gnu/store/c7waxzw4zsv7yqqcyrari3q46khpwfrp-ocaml4.07-charinfo-width-1.1.0.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/81sk6q8pqldcl3psqv5875wn9f78hv52-ocaml4.07-charinfo-width-1.1.0.drv1/gnu/store/mclbspzlkvyqpq8bq3q9z52w5khrspdh-ocaml4.07-charinfo-width-1.1.0.drv | ⇕ Compare |
ocaml4.07-compiler-libs | 0.11.0 | aarch64-linux | | /gnu/store/q3348mxpd1iq3nfdrqf7i981gy0041mh-ocaml4.07-compiler-libs-0.11.0.drv1/gnu/store/0r8lmxim45xgjyf0ydhr5hkqp0pql9na-ocaml4.07-compiler-libs-0.11.0.drv | ⇕ Compare |
armhf-linux | | /gnu/store/4p5z9n0khpbkw3y30yx3l9qpq22njqh9-ocaml4.07-compiler-libs-0.11.0.drv/gnu/store/q9n9kij5bcbdyc4kf0c6333f2rk24qp5-ocaml4.07-compiler-libs-0.11.0.drv | ⇕ Compare |
i586-gnu | | /gnu/store/g9lgx3xkz6pb3330vanpc91c2xjylahq-ocaml4.07-compiler-libs-0.11.0.drv1/gnu/store/mvsad83irbc4l12rpix7xdjl051gppcf-ocaml4.07-compiler-libs-0.11.0.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/i6gmw7pavvckyxygj248gp9xf6sv57is-ocaml4.07-compiler-libs-0.11.0.drv1/gnu/store/xksvsfkdq9vpav7ad639xy3fg5wpm0l1-ocaml4.07-compiler-libs-0.11.0.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/4vhf1s06x4wai6h940rc1slbl86h8nrq-ocaml4.07-compiler-libs-0.11.0.drv/gnu/store/blaml33wy48hrdlqymg5p91yzq4mfff2-ocaml4.07-compiler-libs-0.11.0.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/i74v1zc857y6xd3i1wxmxmbbkzcad38p-ocaml4.07-compiler-libs-0.11.0.drv1/gnu/store/gxbq49xhbk7bak88bm84crsrxs3dnf0x-ocaml4.07-compiler-libs-0.11.0.drv | ⇕ Compare |
ocaml4.07-configurator | 0.11.0 | aarch64-linux | | /gnu/store/4h1mhb6s9x0v13rnv5kv1cjnahkvlas8-ocaml4.07-configurator-0.11.0.drv1/gnu/store/3ksiv7968x3kj6xgyy5wb52gwr2n9136-ocaml4.07-configurator-0.11.0.drv | ⇕ Compare |
armhf-linux | | /gnu/store/h5giscn6jx3zmrqipvfykvv6nz0r4vf9-ocaml4.07-configurator-0.11.0.drv/gnu/store/sv0594swlh9dvpvdb2b3mzzc8g54rw4a-ocaml4.07-configurator-0.11.0.drv | ⇕ Compare |
i586-gnu | | /gnu/store/i9mf9201r6gilbx1hldlgm2nmmd0xy41-ocaml4.07-configurator-0.11.0.drv1/gnu/store/w3z10s4x2r6z6ln00jxy7k7127c7hcg8-ocaml4.07-configurator-0.11.0.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/ywvpzy9p1jqbh5hi518l21lbkwdiffj5-ocaml4.07-configurator-0.11.0.drv1/gnu/store/fbfwycjmwg7qldl3hjkdnm19miarxv68-ocaml4.07-configurator-0.11.0.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/0kcqw1kqkxs3b4d3mx0b5ff5s135apn0-ocaml4.07-configurator-0.11.0.drv/gnu/store/a8ik48yv5h3vddirzj96wmhv9inv3x96-ocaml4.07-configurator-0.11.0.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/lbihxfyp8ajc9a36yv9j1cgh7vrqm0j7-ocaml4.07-configurator-0.11.0.drv1/gnu/store/59mvx03al0svzxnfjkkyyx7m3j90vpgq-ocaml4.07-configurator-0.11.0.drv | ⇕ Compare |
ocaml4.07-core | 0.11.3 | aarch64-linux | | /gnu/store/p8c3n0j78c6dz7krynjvvq5m76mrmma6-ocaml4.07-core-0.11.3.drv1/gnu/store/dsl0yc54xymsy1173y8j27i0lzwkfb8a-ocaml4.07-core-0.11.3.drv | ⇕ Compare |
armhf-linux | | /gnu/store/azndzbsh9c2qvmqgpwd7qxp2dnhjnl20-ocaml4.07-core-0.11.3.drv/gnu/store/076mvfdm585ifdpa22imwcrqjzwmjghj-ocaml4.07-core-0.11.3.drv | ⇕ Compare |
i586-gnu | | /gnu/store/m3n31bjz8wmc44wzcp7haff3kmdc4nmw-ocaml4.07-core-0.11.3.drv1/gnu/store/mmy2ph6ncgs44bwaspl597bmfsihy7m8-ocaml4.07-core-0.11.3.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/v5bbndl9ycpdjs6fmh2fxhzhwkzvsg4k-ocaml4.07-core-0.11.3.drv1/gnu/store/szf2va2ayi9frjc9zg8xd896qhwb4f2k-ocaml4.07-core-0.11.3.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/9i6f35jjaaj7dc2rm2fg2dmfy27p13r8-ocaml4.07-core-0.11.3.drv/gnu/store/hrfp3936b1nxd3jrp4jgfm7rlfda6s2j-ocaml4.07-core-0.11.3.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/h0phkf96spz958kcdhvpqbj7haj8ffcx-ocaml4.07-core-0.11.3.drv1/gnu/store/9j3146a22nw8v308c3yxpvzrx6v4yxlw-ocaml4.07-core-0.11.3.drv | ⇕ Compare |
ocaml4.07-core-kernel | 0.11.1 | aarch64-linux | | /gnu/store/rz619i1hgc94zhxac2d176vxhq3ss6zk-ocaml4.07-core-kernel-0.11.1.drv1/gnu/store/m3739wvnzq9b05wcahwgj42scwb7lrk7-ocaml4.07-core-kernel-0.11.1.drv | ⇕ Compare |
armhf-linux | | /gnu/store/pg3s9myw944nya9jnqjwldvx4dadsr0j-ocaml4.07-core-kernel-0.11.1.drv/gnu/store/jq966wswnb1qzqhiq5vy8dzs13gpq2aq-ocaml4.07-core-kernel-0.11.1.drv | ⇕ Compare |
i586-gnu | | /gnu/store/qdfbj37gfvcxgb2gvnby6093lid0s2li-ocaml4.07-core-kernel-0.11.1.drv1/gnu/store/nj61p2lnsvj9a9dxpcjjy5sdjgl56wrq-ocaml4.07-core-kernel-0.11.1.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/mnj5mkywr78h29pxf9g52v40bcf3yx4x-ocaml4.07-core-kernel-0.11.1.drv1/gnu/store/27167snxr14wqzhzjr6lb1p049c24zip-ocaml4.07-core-kernel-0.11.1.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/5v0v8n5i8fha71jmq3p580l6s681c6na-ocaml4.07-core-kernel-0.11.1.drv/gnu/store/8qjh14925j1aikbz9519kw6v999yvkb4-ocaml4.07-core-kernel-0.11.1.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/csjsvhfb7sylqxslnx34b857wbrpp0lj-ocaml4.07-core-kernel-0.11.1.drv1/gnu/store/v51kbgb5wdbc97ymw2qzhvyacl2r1a6b-ocaml4.07-core-kernel-0.11.1.drv | ⇕ Compare |
ocaml4.07-dune | 1.11.3 | aarch64-linux | | /gnu/store/zdv7ncfgzgnc7jg5v5p13ixz5hmir2km-ocaml4.07-dune-1.11.3.drv1/gnu/store/nrmp2wf1y66ps7d3bq2vsq6d0fw94myw-ocaml4.07-dune-1.11.3.drv | ⇕ Compare |
armhf-linux | | /gnu/store/wc1hxsf6zd7bamrhv4j0m8pyh2fsndy3-ocaml4.07-dune-1.11.3.drv1/gnu/store/7hns6mqqnbak6cqqvh9lxvwi1hlwnjqc-ocaml4.07-dune-1.11.3.drv | ⇕ Compare |
i586-gnu | | /gnu/store/imih8va28dsl4nnc20izs77f5i5nsx0h-ocaml4.07-dune-1.11.3.drv1/gnu/store/b280wczmgv855phqd7m0jnvwh93rl3a0-ocaml4.07-dune-1.11.3.drv | ⇕ Compare |
i686-linux | | 1/gnu/store/2jawvyx15wjsid3qrkvm6yv3fzw9z7md-ocaml4.07-dune-1.11.3.drv1/gnu/store/07ws38gmdahz83g5naiighj0pmsda49r-ocaml4.07-dune-1.11.3.drv | ⇕ Compare |
mips64el-linux | | /gnu/store/mg5ba34jq48ddngb3hw74v914fdv36g0-ocaml4.07-dune-1.11.3.drv/gnu/store/v53dx55gy4yn9ypz2123gvm1a4xxb376-ocaml4.07-dune-1.11.3.drv | ⇕ Compare |
powerpc64le-linux | | /gnu/store/3s166rjvshrhk2xrq5aizw5vxirr6c4f-ocaml4.07-dune-1.11.3.drv1/gnu/store/9q4wj79c8skbskjk0qa1l8y0czj1zmr5-ocaml4.07-dune-1.11.3.drv | ⇕ Compare |