Comparing 2cae49f9… and 1042d269…

Required. The commit to use as the basis for the comparison.
Required. The commit to compare against the base commit.
Only include derivations for this system.
Only include derivations that are build for this system.
Filter by the changes to the builds:
Broken
There was a successful build against the base derivation, but no successful build for the target derivation, and there's at least one failed build.
Fixed
No successful build for the base derivation and at least one failed build, plus at least one successful build for the target derivation
Still working
At least one successful build for both the base and target derivations
Still failing
No successful builds and at least one failed builds for both the base and target derivations
Unknown
No base and target derivation to compare, or not enough builds to determine a change
Fields to return in the response.
List packages that are alphabetically after the given name.
The maximum number of results to return.
Return all results.
View JSON

Package derivation changes

Showing 76 new derivations across 11 packages

NameVersionSystemTargetDerivations (with build statuses)
coq8.10.2aarch64-linux/gnu/store/zll18rxgv2zg0vxb5jkl2yr7cim61j28-coq-8.10.2.drv
armhf-linux/gnu/store/n0dy3ar9lvzvlb855ijpfgxwyrz2k8h5-coq-8.10.2.drv
i586-gnu/gnu/store/17rq392zjgvnk64y46hrzmh7n4rmgwiv-coq-8.10.2.drv
i686-linux/gnu/store/dgw13f9i655m1m9kl52zzm1674fd2isk-coq-8.10.2.drv
mips64el-linux/gnu/store/pwg3y08qf87j3nx5wimgl8slzdgr8f9m-coq-8.10.2.drv
x86_64-linux/gnu/store/q28rd2pq8n0zziaij3j36nzh6lnckdmx-coq-8.10.2.drv
coq8.11.2aarch64-linux/gnu/store/maqddpn32w5frzxwbd3drh4d35sw2rx8-coq-8.11.2.drv
armhf-linux/gnu/store/wilmnkrj61avl8wlf209fkkd5h61dl91-coq-8.11.2.drv
i586-gnu/gnu/store/5qlbnnrip79qr50ihwhxg9wnwa8126gv-coq-8.11.2.drv
i686-linux/gnu/store/pmal2f6qibj888y6nawwx631xn3z2na2-coq-8.11.2.drv
mips64el-linux/gnu/store/k0df7r9w05sh8p8l3qbf77nvm47mvp58-coq-8.11.2.drv
x86_64-linux/gnu/store/jxl60kpzw80lfsmcbs7a3wvk5ixp20kg-coq-8.11.2.drv
coq-autosubst1-coq86-devel.fa6ef30aarch64-linux/gnu/store/h8bzgxy6hkv2cnml1bk9bgsmrl6x5b3w-coq-autosubst-1-coq86-devel.fa6ef30.drv/gnu/store/7lnqzibd1kx9w65wv5y5d2pxm38vqfir-coq-autosubst-1-coq86-devel.fa6ef30.drv⇕ Compare
armhf-linux/gnu/store/rj3922hqfcxqi2xqlwhg12vr2r2vnwls-coq-autosubst-1-coq86-devel.fa6ef30.drv/gnu/store/h6s5yzdysqdb2zmlw7x1yz0m3jrcfs20-coq-autosubst-1-coq86-devel.fa6ef30.drv⇕ Compare
i586-gnu/gnu/store/6vsyaw8v57b2q49w3i8n72s8n30krr2q-coq-autosubst-1-coq86-devel.fa6ef30.drv/gnu/store/8mybj2wkhg2pzyalg9liwk4ss12l59zz-coq-autosubst-1-coq86-devel.fa6ef30.drv⇕ Compare
i686-linux/gnu/store/y7gvmzmpppsaf17kfiv0w09x72ky2gwy-coq-autosubst-1-coq86-devel.fa6ef30.drv/gnu/store/w0l2dgskam028vgkk7jgg4d35wxscbka-coq-autosubst-1-coq86-devel.fa6ef30.drv⇕ Compare
mips64el-linux/gnu/store/bglq17mf5jfg819n8ywfdwdrrfl9n041-coq-autosubst-1-coq86-devel.fa6ef30.drv/gnu/store/f36hz7cj3104cvcfr8vaqddg360rfxz4-coq-autosubst-1-coq86-devel.fa6ef30.drv⇕ Compare
x86_64-linuxi586-pc-gnu/gnu/store/d8r69xl02pmqv21kpqsa9dnd5hxwyjdb-coq-autosubst-1-coq86-devel.fa6ef30.drv/gnu/store/fsrw5am6jkyh46fy016a4lrhs9gpxqls-coq-autosubst-1-coq86-devel.fa6ef30.drv⇕ Compare
x86_64-linuxaarch64-linux-gnu/gnu/store/g73mzyvaldr7dddd8gxkk4v7ayqrqfmq-coq-autosubst-1-coq86-devel.fa6ef30.drv/gnu/store/bwsadyysxwax6vvcv26apvzk28v2x00k-coq-autosubst-1-coq86-devel.fa6ef30.drv⇕ Compare
x86_64-linuxarm-linux-gnueabihf/gnu/store/7dqan7bz2qnl90g56pv398a2aji5ajb1-coq-autosubst-1-coq86-devel.fa6ef30.drv/gnu/store/f5c0v2ag7rkbkmjfzilfiyddcsqmrykn-coq-autosubst-1-coq86-devel.fa6ef30.drv⇕ Compare
x86_64-linux/gnu/store/j8pb2rj08c45q6kkpg23lbihrhvjvz8a-coq-autosubst-1-coq86-devel.fa6ef30.drv/gnu/store/a6h4a9pc0q8l61agpdgibidzwn7yv1qr-coq-autosubst-1-coq86-devel.fa6ef30.drv⇕ Compare
coq-bignums8.10.0aarch64-linux/gnu/store/vv8zsahb8a4gaj47x708djlsmr1l6px2-coq-bignums-8.10.0.drv
armhf-linux/gnu/store/nl1s9jhvhvql9apqxgi084q6rds1a7ah-coq-bignums-8.10.0.drv
i586-gnu/gnu/store/f16s48f67xxlp8giirldxj1w2x20pcji-coq-bignums-8.10.0.drv
i686-linux/gnu/store/jziv9vy334h0xn7ciql8cf0ryjn71103-coq-bignums-8.10.0.drv
mips64el-linux/gnu/store/npzp0lw62x4wka7q9a5zzbn2cd0v4r7y-coq-bignums-8.10.0.drv
x86_64-linuxi586-pc-gnu/gnu/store/knny296pdv66ch2q281h6qswyw9ivy2i-coq-bignums-8.10.0.drv
x86_64-linux/gnu/store/hwpl07cq1cpqzixd132ixbg1zhmjh4sg-coq-bignums-8.10.0.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/s38gc86mjd8qdbxs049cn5f1gxarg46v-coq-bignums-8.10.0.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/723wj0d155qjpsfwlfz0xy1wjpl6mpi5-coq-bignums-8.10.0.drv
coq-bignums8.11.0aarch64-linux/gnu/store/0wx98c5s4sa2ys7l97vky4jv2wpgmanr-coq-bignums-8.11.0.drv
armhf-linux/gnu/store/z47fgq9ifjdyja2karc5myxc8jjxvgjr-coq-bignums-8.11.0.drv
i586-gnu/gnu/store/qyv0mcpnhghdb7dhlcm7jhd0kpk29h0m-coq-bignums-8.11.0.drv
i686-linux/gnu/store/18cw9vmh3mwag4ajsfng6s3mvqb25idq-coq-bignums-8.11.0.drv
mips64el-linux/gnu/store/w69bc3i7n0gvcki8ca192snja5iay2lb-coq-bignums-8.11.0.drv
x86_64-linux/gnu/store/vmlqx5ibxqv8xs5lyj2n2kx354lfrsq4-coq-bignums-8.11.0.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/kmxgv22s8p6hxw6iyjhlyjc4i9rsc402-coq-bignums-8.11.0.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/hgzbb3j80akqj19339dx301brc8x68dx-coq-bignums-8.11.0.drv
x86_64-linuxi586-pc-gnu/gnu/store/h4b01kp0kmxxg44csd9jn5wqvp4v1va6-coq-bignums-8.11.0.drv
coq-coquelicot3.0.3aarch64-linux/gnu/store/ajpijh228f702hxf4nsz8hd9v85cdpzh-coq-coquelicot-3.0.3.drv
armhf-linux/gnu/store/sxvc5r8971akj06fznnb0742fk6x22iw-coq-coquelicot-3.0.3.drv
i586-gnu/gnu/store/d83l7i3yns3zih564rb96anjmlndmjyz-coq-coquelicot-3.0.3.drv
i686-linux/gnu/store/knbdbmjjs75kwr1xmpckb8iymj4mqk87-coq-coquelicot-3.0.3.drv
mips64el-linux/gnu/store/x06xp3sa4cd3vj2sm50qixygmmrwka90-coq-coquelicot-3.0.3.drv
x86_64-linux/gnu/store/dqkc3ydh6gcnbph6spfwzbpj190br7lc-coq-coquelicot-3.0.3.drv
x86_64-linuxi586-pc-gnu/gnu/store/6fay7zsczip87my8jm20g5pa467d6dn8-coq-coquelicot-3.0.3.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/0wd6v1hv2gsgl1m5p2nif9cgl7fcgd5n-coq-coquelicot-3.0.3.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/m5j11gw47w0wdqd0b09frc3h3rld33xw-coq-coquelicot-3.0.3.drv
coq-coquelicot3.1.0aarch64-linux/gnu/store/173ijvcn1zdyz5hkpgliamgaxh9bif0z-coq-coquelicot-3.1.0.drv
armhf-linux/gnu/store/9kw0bbgg03aafjsadpfap5ykv4ii00vd-coq-coquelicot-3.1.0.drv
i586-gnu/gnu/store/3gql5x9g1bjz3n5fcs5sgq1amhx7j0im-coq-coquelicot-3.1.0.drv
i686-linux/gnu/store/j2d9pcxwg3yxp8hn3gg1dxzzblp3mlgm-coq-coquelicot-3.1.0.drv
mips64el-linux/gnu/store/cgg2whgir646x5ljl26vyvyhbxmbhlv9-coq-coquelicot-3.1.0.drv
x86_64-linuxi586-pc-gnu/gnu/store/046m0sw0m7r4y98jvpzsfb5l60b7g9dr-coq-coquelicot-3.1.0.drv
x86_64-linux/gnu/store/6fklkgbrgbschv2d627xiwxra7wa99i3-coq-coquelicot-3.1.0.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/vfis4qf8c14dx24axmbgfqb8qqd634rx-coq-coquelicot-3.1.0.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/y6gq4a35h32wis0mhxc8xkr5j6lxxs8l-coq-coquelicot-3.1.0.drv
coq-equations1.2.1aarch64-linux/gnu/store/0x4jnzbyr4gmxqccmrm9kzg62k6n6qyr-coq-equations-1.2.1.drv
armhf-linux/gnu/store/xx6j04dk91fq3wkb6nl54y3hkzmkxwa5-coq-equations-1.2.1.drv
i586-gnu/gnu/store/ykg8l5k7rr26jmvsx9plrgwmw1zi8fd4-coq-equations-1.2.1.drv
i686-linux/gnu/store/3ggjv3vbdsrb1g6kg5nl69spy7w6125z-coq-equations-1.2.1.drv
mips64el-linux/gnu/store/l1j9v28h5sy0dljj1vfrwkjlh00vj073-coq-equations-1.2.1.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/sl6qyssqcqcwhvjyxg0ydcdbbmm34sck-coq-equations-1.2.1.drv
x86_64-linuxi586-pc-gnu/gnu/store/6fr97v3r3ig417icnzpgn2wx7gz3f8yn-coq-equations-1.2.1.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/pjbzyws1xcn0hcrw0jpvhghwh1hlb1rn-coq-equations-1.2.1.drv
x86_64-linux/gnu/store/b4klqsdh5dgpjfb19g47s3rrhsqwvnrw-coq-equations-1.2.1.drv
coq-equations1.2.3aarch64-linux/gnu/store/r2rwf1srh0yf2vcc98i4gnsmsxxs516s-coq-equations-1.2.3.drv
armhf-linux/gnu/store/sdzih0iphvr6qcwfyp8sz5685g4g9msk-coq-equations-1.2.3.drv
i586-gnu/gnu/store/mymvprqlh9p01ci7h3n0gkjp41c47q9b-coq-equations-1.2.3.drv
i686-linux/gnu/store/j83kg50rbbx0p3lkmwa33768yxqay1fw-coq-equations-1.2.3.drv
mips64el-linux/gnu/store/a8icrb05pxhhnjrzdmcgiai1dwfiva2d-coq-equations-1.2.3.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/chnck0axzb6af12r2kl9kjhs4miizdmb-coq-equations-1.2.3.drv
x86_64-linux/gnu/store/wm4c8hhwhq70fshas828q65nlm9qw4g6-coq-equations-1.2.3.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/pk20bbfiamlwcym37gb43sv7gjcr5zqr-coq-equations-1.2.3.drv
x86_64-linuxi586-pc-gnu/gnu/store/ssxzgnhbg3yi0af7q9zqj2989cwvrp4g-coq-equations-1.2.3.drv
coq-flocq3.2.0aarch64-linux/gnu/store/dzbm33bzz2b8za3gpqapgv8l084j738s-coq-flocq-3.2.0.drv
armhf-linux/gnu/store/7lchsn9jv4h7h6mrgdaph7j7avg5cagd-coq-flocq-3.2.0.drv
i586-gnu/gnu/store/0m22isdkw0zkfg5cwhb4v1jswcblr4r1-coq-flocq-3.2.0.drv
i686-linux/gnu/store/gmv26zf0awwdnj1xgs6457qc4ssabc6s-coq-flocq-3.2.0.drv
mips64el-linux/gnu/store/429lz8r8dkifgxv5w47rczna4fyvy3s3-coq-flocq-3.2.0.drv
x86_64-linuxi586-pc-gnu/gnu/store/1h4ybygd6g5bh4l9mgicnrh3qlgcv2jd-coq-flocq-3.2.0.drv
x86_64-linux/gnu/store/4b5q60dcjscsxhyhai1x5snc1cdb2iyz-coq-flocq-3.2.0.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/q3r7160v2nhkg7p7rm62ji7drnnwk4wv-coq-flocq-3.2.0.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/rmp8p15zx8r9jchgbw207qjpgmazb2zd-coq-flocq-3.2.0.drv
coq-flocq3.3.1aarch64-linux/gnu/store/z0r6pbmh7822k5b1h0rklmb2cpa703f6-coq-flocq-3.3.1.drv
armhf-linux/gnu/store/id71pz5gdlkcbnj39ai3482442a49qq1-coq-flocq-3.3.1.drv
i586-gnu/gnu/store/6vd20bssj3q8r8k8ngjk2nvb9lsfvy4i-coq-flocq-3.3.1.drv
i686-linux/gnu/store/28akyadyqh04j37zqws88jy2haymdknz-coq-flocq-3.3.1.drv
mips64el-linux/gnu/store/hspdj345ckpk16hii9i0fgsjlikrlr3v-coq-flocq-3.3.1.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/zijbkbm2hzxdj5vc97w95ziibaaln93j-coq-flocq-3.3.1.drv
x86_64-linux/gnu/store/21f1k32dpadc8m88xq6i95yn55a008zy-coq-flocq-3.3.1.drv
x86_64-linuxi586-pc-gnu/gnu/store/syrywfgfw9q8n79wyma3mk7qpcsjxp6a-coq-flocq-3.3.1.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/v8z61r0r2z49nh41y4xz3hjdpd3ij4yh-coq-flocq-3.3.1.drv
coq-gappa1.4.2aarch64-linux/gnu/store/kw57scv786g000x9lcvbc0dv6gx5rgi7-coq-gappa-1.4.2.drv
armhf-linux/gnu/store/dfkvfq33likqc8jbm7zc4pfbagi6m13d-coq-gappa-1.4.2.drv
i586-gnu/gnu/store/79crp8dwsq0z4qa7qzfs9vibs3q4n020-coq-gappa-1.4.2.drv
i686-linux/gnu/store/iw4p3m1yvksb007bkmlqifc9n13gc8ap-coq-gappa-1.4.2.drv
mips64el-linux/gnu/store/mlw0xwfc0xwf6zyn9740mr6nif3dw57p-coq-gappa-1.4.2.drv
x86_64-linuxi586-pc-gnu/gnu/store/hi13ngp6c8fxr4p09xfyvivdmd35ns9r-coq-gappa-1.4.2.drv
x86_64-linux/gnu/store/vfaranx3fdprmasqa8x8dr189ywvkw8j-coq-gappa-1.4.2.drv
coq-gappa1.4.4aarch64-linux/gnu/store/5k2szhyx3a16fw68y10z79vpbkk0ccik-coq-gappa-1.4.4.drv
armhf-linux/gnu/store/f1585yr3sxslba35kfhp7s9p99cfzirf-coq-gappa-1.4.4.drv
i586-gnu/gnu/store/qd4ibx9ccvznppwg48ixilk8yhlvnqql-coq-gappa-1.4.4.drv
i686-linux/gnu/store/593vh7a8vhv182ikkgxzr5rdms75x4ja-coq-gappa-1.4.4.drv
mips64el-linux/gnu/store/fckiqmlyqxkxpxklvds8pmkrp0fhs7kl-coq-gappa-1.4.4.drv
coq-interval3.4.1aarch64-linux/gnu/store/llrpzidmafmd10x4g2mlrqqd4gb61gxy-coq-interval-3.4.1.drv
armhf-linux/gnu/store/p7c9pmwhkaw0n7dwqhq4xa8bj49wf7in-coq-interval-3.4.1.drv
i586-gnu/gnu/store/463pacwy4xfmzi00mdsl47kndfs9pn14-coq-interval-3.4.1.drv
i686-linux/gnu/store/9gyvz26llmjxwhpj85fxvzmw238gwgnn-coq-interval-3.4.1.drv
mips64el-linux/gnu/store/g2m0gnvbgcmyqp3q1m7nhr5yrgrgz6nm-coq-interval-3.4.1.drv
coq-interval4.0.0aarch64-linux/gnu/store/2vj5jjwvy61vsg05z1ppmgmvqkld2phs-coq-interval-4.0.0.drv
armhf-linux/gnu/store/xijksgj567g23qfwibx6n1z82izqg7sm-coq-interval-4.0.0.drv
i586-gnu/gnu/store/1fpg9sxd1snix7dbpn9dwjajmnrxj38w-coq-interval-4.0.0.drv
i686-linux/gnu/store/z5idwj8s35il0308s6pv7cagfyfq51mi-coq-interval-4.0.0.drv
mips64el-linux/gnu/store/5x5vchwccfdwqikbnzy89b6hqbv9vgaz-coq-interval-4.0.0.drv
coq-mathcomp1.10.0aarch64-linux/gnu/store/bc793zwqq8b2y6xrrhyqkb69smznig6l-coq-mathcomp-1.10.0.drv
armhf-linux/gnu/store/mvm3rswlm77wsdvl2gifd8jycmk7qwlw-coq-mathcomp-1.10.0.drv
i586-gnu/gnu/store/xf2nb40yyzr5ak20jq1gx55qv33d3i9a-coq-mathcomp-1.10.0.drv
i686-linux/gnu/store/29xxvhk2f8aq7ip58b405rbdvpwab2qm-coq-mathcomp-1.10.0.drv
mips64el-linux/gnu/store/npy8pgx3013a78s1d8y2haym411r1a1k-coq-mathcomp-1.10.0.drv
coq-mathcomp1.11.0aarch64-linux/gnu/store/w3qizfmnllhb8gd4awxk5fbf6rc3rpk7-coq-mathcomp-1.11.0.drv
armhf-linux/gnu/store/3dyadd5ivmzbldlnfy6k502g78xa5a64-coq-mathcomp-1.11.0.drv
i586-gnu/gnu/store/inyy9hh267wnl1y304g7jkrriiwm157p-coq-mathcomp-1.11.0.drv
i686-linux/gnu/store/n1cxf3ds61azpd8yan0xar1r6cf84bm5-coq-mathcomp-1.11.0.drv
mips64el-linux/gnu/store/y01mk0rhij67swifawayj754xfdqyz3p-coq-mathcomp-1.11.0.drv
coq-stdpp1.4.0aarch64-linux/gnu/store/fcc0fw7ngylayks8lvw75gkr4lc8vcl6-coq-stdpp-1.4.0.drv/gnu/store/mni9rj4da0fwc4wzlshlwqgp029b0cyp-coq-stdpp-1.4.0.drv⇕ Compare
armhf-linux/gnu/store/r2qf2cf9nag8ck60kxiyrsjpyzxdzm4z-coq-stdpp-1.4.0.drv/gnu/store/cb96wd6lxnsws5h49hzmvlsvs8w4fqw3-coq-stdpp-1.4.0.drv⇕ Compare
i586-gnu/gnu/store/a7zq1lavpn68harawiwxjfzlrpgd56ga-coq-stdpp-1.4.0.drv/gnu/store/4dl6hnb5jm9ai7s3w4jj8j0s97n06sif-coq-stdpp-1.4.0.drv⇕ Compare
i686-linux/gnu/store/zkj7wh448gsdjy5ag2vk3vg04f7d97d4-coq-stdpp-1.4.0.drv/gnu/store/kz53mz3wiymwa952f2hqxgn70wkyr13h-coq-stdpp-1.4.0.drv⇕ Compare
mips64el-linux/gnu/store/z529s14y4pw430m1df30vvsfnxdzc4w8-coq-stdpp-1.4.0.drv/gnu/store/zi6hks2prfs7i2d66gqi0pmkjqfrnp6q-coq-stdpp-1.4.0.drv⇕ Compare
proof-general4.4aarch64-linux/gnu/store/xcxzj2f089fhnhvkw76ybraxnjh5kyjr-proof-general-4.4.drv/gnu/store/3ikf6rp21l1glh3ra982bxmfqk5v5jhd-proof-general-4.4.drv⇕ Compare
armhf-linux/gnu/store/xldcv96cnqln1jhmfj0hd47hp7dk1ffi-proof-general-4.4.drv/gnu/store/r8hkdjrh390w9k233f1a6yi136k0rxww-proof-general-4.4.drv⇕ Compare
i586-gnu/gnu/store/ma9xwzbnvv0jb2c986dc0b6vr6rxlnv5-proof-general-4.4.drv/gnu/store/kvs1pj5s2g65r48h8w5jkm06manngc4r-proof-general-4.4.drv⇕ Compare
i686-linux/gnu/store/h0dsblshwjlfaiflxw4g3xbylg96k52x-proof-general-4.4.drv/gnu/store/852szayxydvwzdrjp859hbb96lcwp1mz-proof-general-4.4.drv⇕ Compare
mips64el-linux/gnu/store/fsbaqqcxry9nndvbgq3rjv04ibmv83db-proof-general-4.4.drv/gnu/store/kimrr9z4c8077760fmxly8nfryhbrawl-proof-general-4.4.drv⇕ Compare