Something went wrong. Try again.
forked from verus-lang/verus
Something went wrong. Try again.
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234223522362237223822392240224122422243224422452246224722482249225022512252225322542255225622572258225922602261226222632264226522662267226822692270227122722273227422752276227722782279228022812282228322842285228622872288228922902291229222932294229522962297229822992300230123022303230423052306230723082309231023112312231323142315231623172318231923202321232223232324232523262327232823292330233123322333233423352336233723382339234023412342234323442345234623472348234923502351235223532354235523562357235823592360236123622363236423652366236723682369237023712372237323742375237623772378237923802381238223832384238523862387238823892390239123922393239423952396239723982399240024012402240324042405240624072408240924102411241224132414241524162417241824192420242124222423242424252426242724282429243024312432243324342435243624372438243924402441244224432444244524462447244824492450245124522453245424552456245724582459246024612462246324642465246624672468246924702471247224732474247524762477247824792480248124822483248424852486248724882489249024912492249324942495249624972498249925002501250225032504250525062507250825092510251125122513251425152516251725182519252025212522252325242525252625272528252925302531253225332534253525362537253825392540254125422543254425452546254725482549255025512552255325542555255625572558255925602561256225632564256525662567256825692570257125722573257425752576257725782579258025812582258325842585258625872588258925902591259225932594259525962597259825992600260126022603260426052606260726082609261026112612261326142615261626172618261926202621262226232624262526262627262826292630263126322633263426352636263726382639264026412642264326442645264626472648264926502651265226532654265526562657265826592660266126622663266426652666266726682669267026712672267326742675267626772678267926802681268226832684268526862687268826892690269126922693269426952696269726982699270027012702270327042705270627072708270927102711271227132714271527162717271827192720272127222723272427252726272727282729273027312732273327342735273627372738273927402741274227432744274527462747274827492750275127522753275427552756275727582759276027612762276327642765276627672768276927702771277227732774277527762777277827792780278127822783278427852786278727882789279027912792279327942795279627972798279928002801280228032804280528062807280828092810281128122813281428152816281728182819282028212822282328242825282628272828282928302831283228332834283528362837283828392840284128422843284428452846284728482849285028512852285328542855285628572858285928602861286228632864286528662867286828692870287128722873287428752876287728782879288028812882288328842885288628872888288928902891289228932894289528962897289828992900290129022903290429052906290729082909291029112912291329142915291629172918291929202921292229232924292529262927292829292930293129322933293429352936293729382939294029412942294329442945294629472948294929502951295229532954295529562957295829592960296129622963296429652966296729682969297029712972297329742975297629772978297929802981298229832984298529862987298829892990299129922993299429952996299729982999300030013002300330043005300630073008300930103011301230133014301530163017301830193020302130223023302430253026302730283029303030313032303330343035303630373038303930403041304230433044304530463047304830493050305130523053305430553056305730583059306030613062306330643065306630673068306930703071307230733074307530763077307830793080308130823083308430853086308730883089309030913092309330943095309630973098309931003101310231033104310531063107310831093110311131123113311431153116311731183119312031213122312331243125312631273128312931303131313231333134313531363137313831393140314131423143314431453146314731483149315031513152315331543155315631573158315931603161316231633164316531663167316831693170317131723173317431753176317731783179318031813182318331843185318631873188318931903191319231933194319531963197319831993200320132023203320432053206320732083209321032113212321332143215321632173218321932203221322232233224322532263227322832293230323132323233323432353236323732383239324032413242324332443245324632473248324932503251325232533254325532563257325832593260326132623263326432653266326732683269327032713272327332743275327632773278327932803281328232833284328532863287328832893290329132923293329432953296329732983299330033013302330333043305330633073308330933103311331233133314331533163317331833193320332133223323332433253326332733283329333033313332333333343335333633373338333933403341334233433344334533463347334833493350335133523353335433553356335733583359336033613362336333643365336633673368336933703371337233733374337533763377337833793380338133823383338433853386338733883389339033913392339333943395339633973398339934003401340234033404340534063407340834093410341134123413341434153416341734183419342034213422342334243425342634273428342934303431343234333434343534363437343834393440344134423443344434453446344734483449345034513452345334543455345634573458345934603461346234633464346534663467346834693470347134723473347434753476347734783479348034813482348334843485348634873488348934903491349234933494349534963497349834993500350135023503350435053506350735083509351035113512351335143515351635173518351935203521352235233524352535263527352835293530353135323533353435353536353735383539354035413542354335443545354635473548354935503551355235533554355535563557355835593560356135623563356435653566356735683569357035713572357335743575357635773578357935803581358235833584358535863587358835893590359135923593359435953596359735983599360036013602360336043605360636073608360936103611361236133614361536163617361836193620362136223623362436253626362736283629363036313632363336343635363636373638363936403641364236433644364536463647364836493650365136523653365436553656365736583659366036613662366336643665366636673668366936703671367236733674367536763677367836793680368136823683368436853686368736883689369036913692369336943695369636973698369937003701370237033704370537063707370837093710371137123713371437153716371737183719372037213722372337243725372637273728372937303731373237333734373537363737373837393740374137423743374437453746374737483749375037513752375337543755375637573758375937603761376237633764376537663767376837693770377137723773377437753776377737783779# This file is automatically @generated by Cargo.# It is not intended for manual editing.version = 4
[[package]]name = "adler2"version = "2.0.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "320119579fcad9c21884f5c4861d16174d0e06250625266f50fe6898340abefa"
[[package]]name = "aes"version = "0.9.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f8eb277bec05f56a0e0591f155a484cbd0f4f07ff2905051a48c72f004f7ed58"dependencies = [ "cipher", "cpubits", "cpufeatures",]
[[package]]name = "ahash"version = "0.8.12"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "5a15f179cd60c4584b8a8c596927aadc462e27f2ca70c04e0071964a73ba7a75"dependencies = [ "cfg-if", "once_cell", "version_check", "zerocopy",]
[[package]]name = "aho-corasick"version = "1.1.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ddd31a130427c27518df266943a5308ed92d4b226cc639f5a8f1002816174301"dependencies = [ "memchr",]
[[package]]name = "air"version = "0.1.0"dependencies = [ "getopts", "indexmap 2.14.0", "petgraph 0.6.5", "serde", "sise", "smt-scope", "win32job", "yansi",]
[[package]]name = "allocator-api2"version = "0.2.21"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "683d7910e743518b0e34f1186f92494becacb047c7b6bf616c96772180fef923"
[[package]]name = "android_system_properties"version = "0.1.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "819e7219dbd41043ac279b19830f2efc897156490d7fd6ea916720117ee66311"dependencies = [ "libc",]
[[package]]name = "anstream"version = "1.0.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "824a212faf96e9acacdbd09febd34438f8f711fb84e09a8916013cd7815ca28d"dependencies = [ "anstyle", "anstyle-parse", "anstyle-query", "anstyle-wincon", "colorchoice", "is_terminal_polyfill", "utf8parse",]
[[package]]name = "anstyle"version = "1.0.14"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "940b3a0ca603d1eade50a4846a2afffd5ef57a9feac2c0e2ec2e14f9ead76000"
[[package]]name = "anstyle-parse"version = "1.0.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "52ce7f38b242319f7cabaa6813055467063ecdc9d355bbb4ce0c68908cd8130e"dependencies = [ "utf8parse",]
[[package]]name = "anstyle-query"version = "1.1.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "40c48f72fd53cd289104fc64099abca73db4166ad86ea0b4341abe65af83dadc"dependencies = [ "windows-sys",]
[[package]]name = "anstyle-wincon"version = "3.0.11"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "291e6a250ff86cd4a820112fb8898808a366d8f9f58ce16d1f538353ad55747d"dependencies = [ "anstyle", "once_cell_polyfill", "windows-sys",]
[[package]]name = "anyhow"version = "1.0.104"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "330a5ed07fa54e4702c9d6c4174f74427fc0ef6e214bbd677ae50a5099946470"
[[package]]name = "arrayvec"version = "0.7.8"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d3fb67a6e08acf24fdeccbac2cb6ac4305825bd1f117462e0e6f2f193345ad56"
[[package]]name = "atomic-waker"version = "1.1.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "1505bd5d3d116872e7271a6d4e16d81d0c8570876c8de68093a09ac269d8aac0"
[[package]]name = "autocfg"version = "1.5.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f2032f911046de80f0a198e0901378627c33f59ea0ac00e363d481118bd70a53"
[[package]]name = "base64"version = "0.22.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "72b3254f16251a8381aa12e40e3c4d2f0199f8c6508fbecb9d91f575e0fbb8c6"
[[package]]name = "bincode"version = "2.0.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "36eaf5d7b090263e8150820482d5d93cd964a81e4019913c972f4edcc6edb740"dependencies = [ "serde", "unty",]
[[package]]name = "bincode-next"version = "3.1.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "1d6626829353ae29293be5c86f42de5f0468bc758af074b0c7d08f07e538ccbc"dependencies = [ "bincode_derive-next", "pastey", "rapidhash", "serde", "unty-next",]
[[package]]name = "bincode_derive-next"version = "3.1.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "409532b1da3be643427e49c2f79e0c47d445f695e1b028270d9e80e9044d7d1c"dependencies = [ "virtue-next",]
[[package]]name = "bitflags"version = "1.3.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a"
[[package]]name = "bitflags"version = "2.13.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b588b76d00fde79687d7646a9b5bdf3cc0f655e0bbd080335a95d7e96f3587da"
[[package]]name = "bitmaps"version = "2.1.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "031043d04099746d8db04daf1fa424b2bc8bd69d92b25962dcde24da39ab64a2"dependencies = [ "typenum",]
[[package]]name = "bitmask-enum"version = "2.2.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "e6cbbb8f56245b5a479b30a62cdc86d26e2f35c2b9f594bc4671654b03851380"dependencies = [ "quote", "syn 2.0.119",]
[[package]]name = "block-buffer"version = "0.12.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d2f6c7dbe95a6ed67ad9f18e57daf93a2f034c524b99fd2b76d18fdfeb6660aa"dependencies = [ "hybrid-array", "zeroize",]
[[package]]name = "bump_crate_versions"version = "0.1.0"dependencies = [ "chrono", "clap", "crates_io_api", "petgraph 0.8.3", "tempfile", "toml_edit",]
[[package]]name = "bumpalo"version = "3.20.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "72f5acc6cb2ba439de613abc23857ec3d78374d8ed5ac84e9d11336e87da8649"
[[package]]name = "bytecount"version = "0.6.9"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "175812e0be2bccb6abe50bb8d566126198344f707e304f45c648fd8f2cc0365e"
[[package]]name = "byteorder"version = "1.5.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b"
[[package]]name = "bytes"version = "1.12.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "fc652a48c352aef3ea3aed32080501cf3ef6ed5da78602a020c991775b0aff04"
[[package]]name = "bzip2"version = "0.6.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f3a53fac24f34a81bc9954b5d6cfce0c21e18ec6959f44f56e8e90e4bb7c346c"dependencies = [ "libbz2-rs-sys",]
[[package]]name = "camino"version = "1.2.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "bb1307f12aa967b5a58416e87b3653360e0fd614a016b6e970db08fecbb1b80d"dependencies = [ "serde_core",]
[[package]]name = "cargo-platform"version = "0.3.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "dd0061da739915fae12ea00e16397555ed4371a6bb285431aab930f61b0aa4ba"dependencies = [ "serde", "serde_core",]
[[package]]name = "cargo-verus"version = "0.1.0"dependencies = [ "anyhow", "cargo-verus-toolchains", "cargo_metadata", "clap", "clap-cargo", "colored", "hex", "rustc_tools_util", "serde", "serde_json", "sha2", "tempfile", "walkdir",]
[[package]]name = "cargo-verus-toolchains"version = "0.1.0"dependencies = [ "anyhow", "clap", "indoc", "itertools", "pretty_assertions", "regex", "serde", "tempfile", "toml", "toml_edit",]
[[package]]name = "cargo_metadata"version = "0.23.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ef987d17b0a113becdd19d3d0022d04d7ef41f9efe4f3fb63ac44ba61df3ade9"dependencies = [ "camino", "cargo-platform", "semver", "serde", "serde_json", "thiserror 2.0.19",]
[[package]]name = "cc"version = "1.4.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "5add81bb678e6cb321aff7fa0dc7689ad82b112dbc032cea19f91d6b8e3582b9"dependencies = [ "find-msvc-tools", "jobserver", "libc", "shlex",]
[[package]]name = "cfg-if"version = "1.0.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
[[package]]name = "chacha20"version = "0.10.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d524456ba66e72eb8b115ff89e01e497f8e6d11d78b70b1aa13c0fbd97540a81"dependencies = [ "cfg-if", "cpufeatures", "rand_core 0.10.1",]
[[package]]name = "chrono"version = "0.4.45"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "1aa79e62e7697b8e29b513a68abacf485adcd1fe8284a4316c5ae868e6633327"dependencies = [ "iana-time-zone", "js-sys", "num-traits", "serde", "wasm-bindgen", "windows-link",]
[[package]]name = "cipher"version = "0.5.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "e8cf2a2c93cd704877c0858356ed03480ff301ee950b43f1cbe4573b088bfa6c"dependencies = [ "crypto-common", "inout",]
[[package]]name = "clap"version = "4.6.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d91e0c145792ef73a6ad36d27c75ac09f1832222a3c209689d90f534685ee5b7"dependencies = [ "clap_builder", "clap_derive",]
[[package]]name = "clap-cargo"version = "0.18.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "936551935c8258754bb8216aec040957d261f977303754b9bf1a213518388006"dependencies = [ "anstyle", "cargo_metadata", "clap", "serde", "serde_json",]
[[package]]name = "clap_builder"version = "4.6.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f09628afdcc538b57f3c6341e9c8e9970f18e4a481690a64974d7023bd33548b"dependencies = [ "anstream", "anstyle", "clap_lex", "strsim",]
[[package]]name = "clap_derive"version = "4.6.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d012d2b9d65aca7f18f4d9878a045bc17899bba951561ba5ec3c2ba1eed9a061"dependencies = [ "heck 0.5.0", "proc-macro2", "quote", "syn 3.0.3",]
[[package]]name = "clap_lex"version = "1.1.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c8d4a3bb8b1e0c1050499d1815f5ab16d04f0959b233085fb31653fbfc9d98f9"
[[package]]name = "cmov"version = "0.5.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "0c9ea0ac24bc397ab3c98583a3c9ba74fa56b09a4449bbe172b9b1ddb016027a"
[[package]]name = "colorchoice"version = "1.0.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "1d07550c9036bf2ae0c684c4297d503f838287c83c53686d05370d0e139ae570"
[[package]]name = "colored"version = "3.1.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "faf9468729b8cbcea668e36183cb69d317348c2e08e994829fb56ebfdfbaac34"dependencies = [ "windows-sys",]
[[package]]name = "console"version = "0.16.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "4fe5f465a4f6fee88fad41b85d990f84c835335e85b5d9e6e63e0d06d28cba7c"dependencies = [ "encode_unicode", "libc", "unicode-width 0.2.2", "windows-sys",]
[[package]]name = "const-oid"version = "0.10.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "a6ef517f0926dd24a1582492c791b6a4818a4d94e789a334894aa15b0d12f55c"
[[package]]name = "constant_time_eq"version = "0.4.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "3d52eff69cd5e647efe296129160853a42795992097e8af39800e1060caeea9b"
[[package]]name = "convert_case"version = "0.4.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "6245d59a3e82a7fc217c5828a6692dbc6dfb63a0c8c90495621f7b9d79704a0e"
[[package]]name = "core-foundation"version = "0.10.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b2a6cd9ae233e7f62ba4e9353e81a88df7fc8a5987b8d445b4d90c879bd156f6"dependencies = [ "core-foundation-sys", "libc",]
[[package]]name = "core-foundation-sys"version = "0.8.7"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "773648b94d0e5d620f64f280777445740e61fe701025087ec8b57f45c791888b"
[[package]]name = "cpubits"version = "0.1.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "15b85f9c39137c3a891689859392b1bd49812121d0d61c9caf00d46ed5ce06ae"
[[package]]name = "cpufeatures"version = "0.3.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8b2a41393f66f16b0823bb79094d54ac5fbd34ab292ddafb9a0456ac9f87d201"dependencies = [ "libc",]
[[package]]name = "crates_io_api"version = "0.12.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b9d129ea9f4e6581cdda525c0b939e4b1753a9873543e4b409971b473f5c27db"dependencies = [ "chrono", "futures", "reqwest", "serde", "serde_derive", "serde_json", "serde_path_to_error", "tokio", "url",]
[[package]]name = "crc32fast"version = "1.5.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "9481c1c90cbf2ac953f07c8d4a58aa3945c425b7185c9154d67a65e4230da511"dependencies = [ "cfg-if",]
[[package]]name = "crypto-common"version = "0.2.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ce6e4c961d6cd6c9a86db418387425e8bdeaf05b3c8bc1411e6dca4c252f1453"dependencies = [ "hybrid-array",]
[[package]]name = "cssparser"version = "0.27.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "754b69d351cdc2d8ee09ae203db831e005560fc6030da058f86ad60c92a9cb0a"dependencies = [ "cssparser-macros", "dtoa-short", "itoa 0.4.8", "matches", "phf 0.8.0", "proc-macro2", "quote", "smallvec", "syn 1.0.109",]
[[package]]name = "cssparser-macros"version = "0.6.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "13b588ba4ac1a99f7f2964d24b3d896ddc6bf847ee3855dbd4366f058cfcd331"dependencies = [ "quote", "syn 2.0.119",]
[[package]]name = "ctutils"version = "0.4.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "7d5515a3834141de9eafb9717ad39eea8247b5674e6066c404e8c4b365d2a29e"dependencies = [ "cmov",]
[[package]]name = "deflate64"version = "0.1.12"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ac6b926516df9c60bfa16e107b21086399f8285a44ca9711344b9e553c5146e2"
[[package]]name = "deranged"version = "0.5.8"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "7cd812cc2bc1d69d4764bd80df88b4317eaef9e773c75226407d9bc0876b211c"
[[package]]name = "derive_more"version = "0.99.20"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "6edb4b64a43d977b8e99788fe3a04d483834fba1215a7e02caa415b626497f7f"dependencies = [ "convert_case", "proc-macro2", "quote", "rustc_version", "syn 2.0.119",]
[[package]]name = "diff"version = "0.1.13"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "56254986775e3233ffa9c4d7d3faaf6d36a2c09d30b20687e9f88bc8bafc16c8"
[[package]]name = "digest"version = "0.11.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f1dd6dbb5841937940781866fa1281a1ff7bd3bf827091440879f9994983d5c2"dependencies = [ "block-buffer", "const-oid", "crypto-common", "ctutils", "zeroize",]
[[package]]name = "displaydoc"version = "0.2.7"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c6232dd377dcc64799954cbd3a9bb882e9cdc1308ccd87b1c098f1fb2eaf82a8"dependencies = [ "proc-macro2", "quote", "syn 3.0.3",]
[[package]]name = "dtoa"version = "1.0.11"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "4c3cf4824e2d5f025c7b531afcb2325364084a16806f6d47fbc1f5fbd9960590"
[[package]]name = "dtoa-short"version = "0.3.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "cd1511a7b6a56299bd043a9c167a6d2bfb37bf84a6dfceaba651168adfb43c87"dependencies = [ "dtoa",]
[[package]]name = "duplicate"version = "1.0.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "de78e66ac9061e030587b2a2e75cc88f22304913c907b11307bca737141230cb"dependencies = [ "heck 0.4.1", "proc-macro-error",]
[[package]]name = "either"version = "1.17.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "9e5e8f6c15a24b9a3ee5efec809ccd006d3b30e8b3bb63c39af737c7f87daa1d"
[[package]]name = "encode_unicode"version = "1.0.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "34aa73646ffb006b8f5147f3dc182bd4bcb190227ce861fc4a4844bf8e3cb2c0"
[[package]]name = "equivalent"version = "1.0.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f"
[[package]]name = "errno"version = "0.3.14"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb"dependencies = [ "libc", "windows-sys",]
[[package]]name = "fastrand"version = "2.5.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "da7c62ceae207dd37ea5b845da6a0696c799f85e97da1ab5b7910be3c1c80223"
[[package]]name = "find-msvc-tools"version = "0.1.9"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "5baebc0774151f905a1a2cc41989300b1e6fbb29aff0ceffa1064fdd3088d582"
[[package]]name = "fixedbitset"version = "0.4.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "0ce7134b9999ecaf8bcd65542e436736ef32ddca1b3e06094cb6ec5755203b80"
[[package]]name = "fixedbitset"version = "0.5.7"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "1d674e81391d1e1ab681a28d99df07927c6d4aa5b027d7da16ba32d1d21ecd99"
[[package]]name = "flate2"version = "1.1.9"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "843fba2746e448b37e26a819579957415c8cef339bf08564fe8b7ddbd959573c"dependencies = [ "miniz_oxide", "zlib-rs",]
[[package]]name = "fnv"version = "1.0.7"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "3f9eec918d3f24069decb9af1554cad7c880e2da24a9afd88aca000531ab82c1"
[[package]]name = "foldhash"version = "0.1.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d9c4f5dac5e15c24eb999c26181a6ca40b39fe946cbe4c263c7209467bc83af2"
[[package]]name = "foreign-types"version = "0.3.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f6f339eb8adc052cd2ca78910fda869aefa38d22d5cb648e6485e4d3fc06f3b1"dependencies = [ "foreign-types-shared",]
[[package]]name = "foreign-types-shared"version = "0.1.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "00b0228411908ca8685dba7fc2cdd70ec9990a6e753e89b6ac91a84c40fbaf4b"
[[package]]name = "form_urlencoded"version = "1.2.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "cb4cb245038516f5f85277875cdaa4f7d2c9a0fa0468de06ed190163b1581fcf"dependencies = [ "percent-encoding",]
[[package]]name = "futf"version = "0.1.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "df420e2e84819663797d1ec6544b13c5be84629e7bb00dc960d6917db2987843"dependencies = [ "mac", "new_debug_unreachable",]
[[package]]name = "futures"version = "0.3.33"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "a88cf1f829d945f548cf8fec32c61b1f202b6d93b45848602fc02af4b12ad218"dependencies = [ "futures-channel", "futures-core", "futures-executor", "futures-io", "futures-sink", "futures-task", "futures-util",]
[[package]]name = "futures-channel"version = "0.3.33"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "262590f4fe6afeb0bc83be1daa64e52657fe185690a958af7f3ad0e92085c5ae"dependencies = [ "futures-core", "futures-sink",]
[[package]]name = "futures-core"version = "0.3.33"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "2cd50c473c80f6d7c3670a752354b8e569b1a7cbfdc0419ec88e5edad85e0dc7"
[[package]]name = "futures-executor"version = "0.3.33"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "6754879cc9f2c66f88c6e5c35344bb0bdb0708b0352b1201815667c7eabc7458"dependencies = [ "futures-core", "futures-task", "futures-util",]
[[package]]name = "futures-io"version = "0.3.33"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "4577ecaa3c4f96589d473f679a71b596316f6641bc350038b962a5daf0085d7a"
[[package]]name = "futures-macro"version = "0.3.33"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "2d6d3cde68c518367be28956066ddfef33813991b77a55005a69dae04bf3b10b"dependencies = [ "proc-macro2", "quote", "syn 2.0.119",]
[[package]]name = "futures-sink"version = "0.3.33"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "e34418ac499d6305c2fb5ad0ed2f6ac998c5f8ca209b4510f7f94242c647e307"
[[package]]name = "futures-task"version = "0.3.33"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b231ed28831efb4a61a08580c4bc233ec56bc009f4cd8f52da2c3cb97df0c109"
[[package]]name = "futures-util"version = "0.3.33"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "a77a90a256fce34da66415271e30f94ee91c57b04b8a2c042d9cf3220179deaa"dependencies = [ "futures-channel", "futures-core", "futures-io", "futures-macro", "futures-sink", "futures-task", "memchr", "pin-project-lite", "slab",]
[[package]]name = "fxhash"version = "0.2.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c31b6d751ae2c7f11320402d34e41349dd1016f8d5d45e48c4312bc8625af50c"dependencies = [ "byteorder",]
[[package]]name = "getopts"version = "0.2.21"source = "git+https://github.com/utaal/getopts.git?branch=parse-partial#1ba7b831cfa9ebf9dea584ba43c71ea49613267f"dependencies = [ "unicode-width 0.1.14",]
[[package]]name = "getrandom"version = "0.1.16"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8fc3cb4d91f53b50155bdcfd23f6a4c39ae1969c2ae85982b135750cccaf5fce"dependencies = [ "cfg-if", "libc", "wasi 0.9.0+wasi-snapshot-preview1",]
[[package]]name = "getrandom"version = "0.2.17"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ff2abc00be7fca6ebc474524697ae276ad847ad0a6b3faa4bcb027e9a4614ad0"dependencies = [ "cfg-if", "libc", "wasi 0.11.1+wasi-snapshot-preview1",]
[[package]]name = "getrandom"version = "0.4.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "300e883d756b2e4ec94e02791f39b04b522276138852cfc41d9fb7e904106099"dependencies = [ "cfg-if", "js-sys", "libc", "r-efi", "rand_core 0.10.1", "wasm-bindgen",]
[[package]]name = "git2"version = "0.21.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ddddbf932745a6be37109b6112d3ee09696106f848449069d3a57bba937ab82e"dependencies = [ "bitflags 2.13.1", "libc", "libgit2-sys", "log",]
[[package]]name = "hashbrown"version = "0.12.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8a9ee70c43aaf417c914396645a0fa852624801b24ebb7ae78fe8272889ac888"
[[package]]name = "hashbrown"version = "0.14.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "e5274423e17b7c9fc20b6e7e208532f9b19825d82dfd615708b70edd83df41f1"dependencies = [ "ahash", "allocator-api2",]
[[package]]name = "hashbrown"version = "0.15.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "9229cfe53dfd69f0609a49f65461bd93001ea1ef889cd5529dd176593f5338a1"dependencies = [ "foldhash",]
[[package]]name = "hashbrown"version = "0.17.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ed5909b6e89a2db4456e54cd5f673791d7eca6732202bbf2a9cc504fe2f9b84a"
[[package]]name = "heck"version = "0.4.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "95505c38b4572b2d910cecb0281560f54b440a19336cbbcb27bf6ce6adc6f5a8"
[[package]]name = "heck"version = "0.5.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "2304e00983f87ffb38b55b444b5e3b60a884b5d30c0fca7d82fe33449bbe55ea"
[[package]]name = "hermit-abi"version = "0.5.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "fc0fef456e4baa96da950455cd02c081ca953b141298e41db3fc7e36b1da849c"
[[package]]name = "hex"version = "0.4.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "7f24254aa9a54b5c858eaee2f5bccdb46aaf0e486a595ed5fd8f86ba55232a70"
[[package]]name = "hmac"version = "0.13.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "6303bc9732ae41b04cb554b844a762b4115a61bfaa81e3e83050991eeb56863f"dependencies = [ "digest",]
[[package]]name = "html5ever"version = "0.26.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "bea68cab48b8459f17cf1c944c67ddc572d272d9f2b274140f223ecb1da4a3b7"dependencies = [ "log", "mac", "markup5ever", "proc-macro2", "quote", "syn 1.0.109",]
[[package]]name = "http"version = "1.5.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "918d3568bebf352712bc2ef3d46a8bcf1a75b373be6539de198e9105cbbf9ce0"dependencies = [ "bytes", "itoa 1.0.18",]
[[package]]name = "http-body"version = "1.1.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ca2a8f2913ee65f60facd6a5905613afaa448497a0230cc41ce022d93290bc2c"dependencies = [ "bytes", "http",]
[[package]]name = "http-body-util"version = "0.1.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "e9f41fd6a08e4d4ec69df65976da761afd5ad5e58a9d4acb46bd1c953a9e3ff2"dependencies = [ "bytes", "futures-core", "http", "http-body", "pin-project-lite",]
[[package]]name = "httparse"version = "1.10.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "6dbf3de79e51f3d586ab4cb9d5c3e2c14aa28ed23d180cf89b4df0454a69cc87"
[[package]]name = "hybrid-array"version = "0.4.14"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "707114b52a152fa7bdb290cd7cd5912d9467273b6d74e21b8d81aca1f8533f6b"dependencies = [ "typenum",]
[[package]]name = "hyper"version = "1.11.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d22053281f852e11534f5198498373cbb59295120a20771d90f7ed1897490a72"dependencies = [ "atomic-waker", "bytes", "futures-channel", "futures-core", "http", "http-body", "httparse", "itoa 1.0.18", "pin-project-lite", "smallvec", "tokio", "want",]
[[package]]name = "hyper-tls"version = "0.6.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "70206fc6890eaca9fde8a0bf71caa2ddfc9fe045ac9e5c70df101a7dbde866e0"dependencies = [ "bytes", "http-body-util", "hyper", "hyper-util", "native-tls", "tokio", "tokio-native-tls", "tower-service",]
[[package]]name = "hyper-util"version = "0.1.20"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "96547c2556ec9d12fb1578c4eaf448b04993e7fb79cbaad930a656880a6bdfa0"dependencies = [ "base64", "bytes", "futures-channel", "futures-util", "http", "http-body", "hyper", "ipnet", "libc", "percent-encoding", "pin-project-lite", "socket2", "tokio", "tower-service", "tracing",]
[[package]]name = "iana-time-zone"version = "0.1.65"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "e31bc9ad994ba00e440a8aa5c9ef0ec67d5cb5e5cb0cc7f8b744a35b389cc470"dependencies = [ "android_system_properties", "core-foundation-sys", "iana-time-zone-haiku", "js-sys", "log", "wasm-bindgen", "windows-core",]
[[package]]name = "iana-time-zone-haiku"version = "0.1.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f31827a206f56af32e590ba56d5d2d085f558508192593743f16b2306495269f"dependencies = [ "cc",]
[[package]]name = "icu_collections"version = "2.2.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "2984d1cd16c883d7935b9e07e44071dca8d917fd52ecc02c04d5fa0b5a3f191c"dependencies = [ "displaydoc", "potential_utf", "utf8_iter", "yoke", "zerofrom", "zerovec",]
[[package]]name = "icu_locale_core"version = "2.2.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "92219b62b3e2b4d88ac5119f8904c10f8f61bf7e95b640d25ba3075e6cac2c29"dependencies = [ "displaydoc", "litemap", "tinystr", "writeable", "zerovec",]
[[package]]name = "icu_normalizer"version = "2.2.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c56e5ee99d6e3d33bd91c5d85458b6005a22140021cc324cea84dd0e72cff3b4"dependencies = [ "icu_collections", "icu_normalizer_data", "icu_properties", "icu_provider", "smallvec", "zerovec",]
[[package]]name = "icu_normalizer_data"version = "2.2.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "da3be0ae77ea334f4da67c12f149704f19f81d1adf7c51cf482943e84a2bad38"
[[package]]name = "icu_properties"version = "2.2.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "bee3b67d0ea5c2cca5003417989af8996f8604e34fb9ddf96208a033901e70de"dependencies = [ "icu_collections", "icu_locale_core", "icu_properties_data", "icu_provider", "zerotrie", "zerovec",]
[[package]]name = "icu_properties_data"version = "2.2.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8e2bbb201e0c04f7b4b3e14382af113e17ba4f63e2c9d2ee626b720cbce54a14"
[[package]]name = "icu_provider"version = "2.2.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "139c4cf31c8b5f33d7e199446eff9c1e02decfc2f0eec2c8d71f65befa45b421"dependencies = [ "displaydoc", "icu_locale_core", "writeable", "yoke", "zerofrom", "zerotrie", "zerovec",]
[[package]]name = "idna"version = "1.1.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "3b0875f23caa03898994f6ddc501886a45c7d3d62d04d2d90788d47be1b1e4de"dependencies = [ "idna_adapter", "smallvec", "utf8_iter",]
[[package]]name = "idna_adapter"version = "1.2.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "cb68373c0d6620ef8105e855e7745e18b0d00d3bdb07fb532e434244cdb9a714"dependencies = [ "icu_normalizer", "icu_properties",]
[[package]]name = "im"version = "15.1.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d0acd33ff0285af998aaf9b57342af478078f53492322fafc47450e09397e0e9"dependencies = [ "bitmaps", "rand_core 0.6.4", "rand_xoshiro", "sized-chunks", "typenum", "version_check",]
[[package]]name = "indexmap"version = "1.9.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "bd070e393353796e801d209ad339e89596eb4c8d430d18ede6a1cced8fafbd99"dependencies = [ "autocfg", "hashbrown 0.12.3",]
[[package]]name = "indexmap"version = "2.14.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d466e9454f08e4a911e14806c24e16fba1b4c121d1ea474396f396069cf949d9"dependencies = [ "equivalent", "hashbrown 0.17.1",]
[[package]]name = "indicatif"version = "0.18.6"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "9433806cd6b4ec1aba79c021c7e4c58fb4c3b9977c085062e611ac929998fb0c"dependencies = [ "console", "portable-atomic", "unicode-width 0.2.2", "unit-prefix", "web-time",]
[[package]]name = "indoc"version = "2.0.7"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "79cf5c93f93228cf8efb3ba362535fb11199ac548a09ce117c9b1adc3030d706"dependencies = [ "rustversion",]
[[package]]name = "inout"version = "0.2.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "4250ce6452e92010fdf7268ccc5d14faa80bb12fc741938534c58f16804e03c7"dependencies = [ "hybrid-array",]
[[package]]name = "insta"version = "1.48.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "86f0f8fee8c926415c58d6ae43a08523a26faccb2323f5e6b644fe7dd4ef6b82"dependencies = [ "console", "once_cell", "similar", "tempfile",]
[[package]]name = "instant"version = "0.1.13"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "e0242819d153cba4b4b05a5a8f2a7e9bbf97b6055b2a002b395c96b5ff3c0222"dependencies = [ "cfg-if",]
[[package]]name = "internals_interface"version = "0.1.0"dependencies = [ "bincode-next", "serde",]
[[package]]name = "ipnet"version = "2.12.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d98f6fed1fde3f8c21bc40a1abb88dd75e67924f9cffc3ef95607bad8017f8e2"
[[package]]name = "is-terminal"version = "0.4.17"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "3640c1c38b8e4e43584d8df18be5fc6b0aa314ce6ebf51b53313d4306cca8e46"dependencies = [ "hermit-abi", "libc", "windows-sys",]
[[package]]name = "is_terminal_polyfill"version = "1.70.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "a6cb138bb79a146c1bd460005623e142ef0181e3d0219cb493e02f7d08a35695"
[[package]]name = "itertools"version = "0.15.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8b4baf93f58d4425749ca49a51c50ebab072c5df6994d08fed93541c331481dc"dependencies = [ "either",]
[[package]]name = "itoa"version = "0.4.8"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b71991ff56294aa922b450139ee08b3bfc70982c6b2c7562771375cf73542dd4"
[[package]]name = "itoa"version = "1.0.18"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682"
[[package]]name = "jobserver"version = "0.1.35"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "1c00acbd29eabad4a2392fa0e921c874934dbbf4194312ad20f04a0ed67a3cb3"dependencies = [ "getrandom 0.4.3", "libc",]
[[package]]name = "js-sys"version = "0.3.103"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "53b44bfcdb3f8d5837a46dae1ca9660a837176eee74a28b229bc626816589102"dependencies = [ "cfg-if", "futures-util", "wasm-bindgen",]
[[package]]name = "kuchikiki"version = "0.8.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f29e4755b7b995046f510a7520c42b2fed58b77bd94d5a87a8eb43d2fd126da8"dependencies = [ "cssparser", "html5ever", "indexmap 1.9.3", "matches", "selectors",]
[[package]]name = "lasso"version = "0.7.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "6e14eda50a3494b3bf7b9ce51c52434a761e383d7238ce1dd5dcec2fbc13e9fb"dependencies = [ "hashbrown 0.14.5",]
[[package]]name = "libbz2-rs-sys"version = "0.2.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "34b357333733e8260735ba5894eb928c02ecc69c78715f01a8019e7fa7f2db4c"
[[package]]name = "libc"version = "0.2.189"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "3eaf3ede3fee6db1a4c2ee091bf8a8b4dccdc6d17f656fb07896ee72867612f2"
[[package]]name = "libgit2-sys"version = "0.18.7+1.9.6"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "23c7391e4b9f4ffab1a624223cc1d7385ff9a678f490768add717de7ea2f4d89"dependencies = [ "cc", "libc", "libz-sys", "pkg-config",]
[[package]]name = "libz-sys"version = "1.1.29"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "85bc9657773828b90eeb625adff10eeac83cc21bbfd8e23a03eaa8a33c9e28d9"dependencies = [ "cc", "libc", "pkg-config", "vcpkg",]
[[package]]name = "line_count"version = "0.1.0"dependencies = [ "clap", "getopts", "insta", "proc-macro2", "regex", "serde", "serde_json", "tabled", "toml", "verus_prettyplease", "verus_syn",]
[[package]]name = "linux-raw-sys"version = "0.12.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "32a66949e030da00e8c7d4434b251670a91556f4144941d37452769c25d58a53"
[[package]]name = "litemap"version = "0.8.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "92daf443525c4cce67b150400bc2316076100ce0b3686209eb8cf3c31612e6f0"
[[package]]name = "lock_api"version = "0.4.14"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "224399e74b87b5f3557511d98dff8b14089b3dadafcab6bb93eab67d3aace965"dependencies = [ "scopeguard",]
[[package]]name = "log"version = "0.4.33"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "0ceec5bc11778974d1bcb055b18002eba7f4b3518b6a0081b3af5f21666da9ad"
[[package]]name = "lzma-rust2"version = "0.16.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ca93e534d1142d1d0dcca6d25fe302508a5dfb40b302802904577725ea0b695b"dependencies = [ "sha2",]
[[package]]name = "mac"version = "0.1.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c41e0c4fef86961ac6d6f8a82609f55f31b05e4fce149ac5710e439df7619ba4"
[[package]]name = "markup5ever"version = "0.11.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "7a2629bb1404f3d34c2e921f21fd34ba00b206124c81f65c50b43b6aaefeb016"dependencies = [ "log", "phf 0.10.1", "phf_codegen 0.10.0", "string_cache", "string_cache_codegen", "tendril",]
[[package]]name = "matches"version = "0.1.10"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "2532096657941c2fea9c289d370a250971c689d4f143798ff67113ec042024a5"
[[package]]name = "memchr"version = "2.8.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "cf8baf1c55e62ffcace7a9f06f4bd9cd3f0c4beb022d3b367256b91b87513d98"
[[package]]name = "miniz_oxide"version = "0.8.9"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "1fa76a2c86f704bdb222d66965fb3d63269ce38518b83cb0575fca855ebb6316"dependencies = [ "adler2", "simd-adler32",]
[[package]]name = "mio"version = "1.2.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "30d65c71f1ce40ab09135ce117d742b9f8a19ff91a41a8b57ed50bc2de59c427"dependencies = [ "libc", "wasi 0.11.1+wasi-snapshot-preview1", "windows-sys",]
[[package]]name = "native-tls"version = "0.2.18"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "465500e14ea162429d264d44189adc38b199b62b1c21eea9f69e4b73cb03bbf2"dependencies = [ "libc", "log", "openssl", "openssl-probe", "openssl-sys", "schannel", "security-framework", "security-framework-sys", "tempfile",]
[[package]]name = "new_debug_unreachable"version = "1.0.6"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "650eef8c711430f1a879fdd01d4745a7deea475becfb90269c06775983bbf086"
[[package]]name = "nodrop"version = "0.1.14"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "72ef4a56884ca558e5ddb05a1d1e7e1bfd9a68d9ed024c21704cc98872dae1bb"
[[package]]name = "nonmax"version = "0.5.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "610a5acd306ec67f907abe5567859a3c693fb9886eb1f012ab8f2a47bef3db51"
[[package]]name = "num"version = "0.4.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "35bd024e8b2ff75562e5f34e7f4905839deb4b22955ef5e73d2fea1b9813cb23"dependencies = [ "num-bigint 0.4.8", "num-complex", "num-integer", "num-iter", "num-rational", "num-traits",]
[[package]]name = "num-bigint"version = "0.4.8"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c89e69e7e0f03bea5ef08013795c25018e101932225a656383bd384495ecc367"dependencies = [ "num-integer", "num-traits",]
[[package]]name = "num-bigint"version = "0.5.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "93e7820bc0a80a0238e650327316f929ba18d5be054b647490a3a6a339f3e7c0"dependencies = [ "num-integer", "num-traits", "serde",]
[[package]]name = "num-complex"version = "0.4.6"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "73f88a1307638156682bada9d7604135552957b7818057dcef22705b4d509495"dependencies = [ "num-traits",]
[[package]]name = "num-conv"version = "0.2.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "521739c6d2bac4aa25192232afe6841231376b2b26d4d9fae5ecf8ca5772e441"
[[package]]name = "num-format"version = "0.4.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "a652d9771a63711fd3c3deb670acfbe5c30a4072e664d7a3bf5a9e1056ac72c3"dependencies = [ "arrayvec", "itoa 1.0.18",]
[[package]]name = "num-integer"version = "0.1.46"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "7969661fd2958a5cb096e56c8e1ad0444ac2bbcd0061bd28660485a44879858f"dependencies = [ "num-traits",]
[[package]]name = "num-iter"version = "0.1.46"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c92800bd69a1eac91786bcfe9da64a897eb72911b8dc3095decbd07429e8048b"dependencies = [ "num-integer", "num-traits",]
[[package]]name = "num-rational"version = "0.4.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f83d14da390562dca69fc84082e73e548e1ad308d24accdedd2720017cb37824"dependencies = [ "num-bigint 0.4.8", "num-integer", "num-traits",]
[[package]]name = "num-traits"version = "0.2.19"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841"dependencies = [ "autocfg",]
[[package]]name = "once_cell"version = "1.21.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "9f7c3e4beb33f85d45ae3e3a1792185706c8e16d043238c593331cc7cd313b50"
[[package]]name = "once_cell_polyfill"version = "1.70.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "384b8ab6d37215f3c5301a95a4accb5d64aa607f1fcb26a11b5303878451b4fe"
[[package]]name = "openssl"version = "0.10.81"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "77823a27f0babb03091cb9ed9ef80af3b39dbc82f97e8fa530374b7dafd87a45"dependencies = [ "bitflags 2.13.1", "cfg-if", "foreign-types", "libc", "openssl-macros", "openssl-sys",]
[[package]]name = "openssl-macros"version = "0.1.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "a948666b637a0f465e8564c73e89d4dde00d72d4d473cc972f390fc3dcee7d9c"dependencies = [ "proc-macro2", "quote", "syn 2.0.119",]
[[package]]name = "openssl-probe"version = "0.2.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "7c87def4c32ab89d880effc9e097653c8da5d6ef28e6b539d313baaacfbafcbe"
[[package]]name = "openssl-sys"version = "0.9.117"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b47e7e6bb2c38cd930d25a23b40fa52e068c10e85f3e03a7f5ba5aaca5713695"dependencies = [ "cc", "libc", "pkg-config", "vcpkg",]
[[package]]name = "papergrid"version = "0.18.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d0984e668274d34691bc2b262ef0d115de5fa9973bcdee7ae32213f93099153e"dependencies = [ "bytecount", "fnv", "unicode-width 0.2.2",]
[[package]]name = "parking_lot"version = "0.11.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "7d17b78036a60663b797adeaee46f5c9dfebb86948d1255007a1d6be0271ff99"dependencies = [ "instant", "lock_api", "parking_lot_core 0.8.6",]
[[package]]name = "parking_lot"version = "0.12.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "93857453250e3077bd71ff98b6a65ea6621a19bb0f559a85248955ac12c45a1a"dependencies = [ "lock_api", "parking_lot_core 0.9.12",]
[[package]]name = "parking_lot_core"version = "0.8.6"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "60a2cfe6f0ad2bfc16aefa463b497d5c7a5ecd44a23efa72aa342d90177356dc"dependencies = [ "cfg-if", "instant", "libc", "redox_syscall 0.2.16", "smallvec", "winapi",]
[[package]]name = "parking_lot_core"version = "0.9.12"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "2621685985a2ebf1c516881c026032ac7deafcda1a2c9b7850dc81e3dfcb64c1"dependencies = [ "cfg-if", "libc", "redox_syscall 0.5.18", "smallvec", "windows-link",]
[[package]]name = "pastey"version = "0.2.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "2ee67f1008b1ba2321834326597b8e186293b049a023cdef258527550b9935b4"
[[package]]name = "pbkdf2"version = "0.13.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "112d82ceb8c5bf524d9af484d4e4970c9fd5a0cc15ba14ad93dccd28873b0629"dependencies = [ "digest", "hmac",]
[[package]]name = "percent-encoding"version = "2.3.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "9b4f627cb1b25917193a259e49bdad08f671f8d9708acfd5fe0a8c1455d87220"
[[package]]name = "petgraph"version = "0.6.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b4c5cc86750666a3ed20bdaf5ca2a0344f9c67674cae0515bec2da16fbaa47db"dependencies = [ "fixedbitset 0.4.2", "indexmap 2.14.0",]
[[package]]name = "petgraph"version = "0.8.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8701b58ea97060d5e5b155d383a69952a60943f0e6dfe30b04c287beb0b27455"dependencies = [ "fixedbitset 0.5.7", "hashbrown 0.15.5", "indexmap 2.14.0", "serde",]
[[package]]name = "phf"version = "0.8.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "3dfb61232e34fcb633f43d12c58f83c1df82962dcdfa565a4e866ffc17dafe12"dependencies = [ "phf_macros", "phf_shared 0.8.0", "proc-macro-hack",]
[[package]]name = "phf"version = "0.10.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "fabbf1ead8a5bcbc20f5f8b939ee3f5b0f6f281b6ad3468b84656b658b455259"dependencies = [ "phf_shared 0.10.0",]
[[package]]name = "phf_codegen"version = "0.8.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "cbffee61585b0411840d3ece935cce9cb6321f01c45477d30066498cd5e1a815"dependencies = [ "phf_generator 0.8.0", "phf_shared 0.8.0",]
[[package]]name = "phf_codegen"version = "0.10.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "4fb1c3a8bc4dd4e5cfce29b44ffc14bedd2ee294559a294e2a4d4c9e9a6a13cd"dependencies = [ "phf_generator 0.10.0", "phf_shared 0.10.0",]
[[package]]name = "phf_generator"version = "0.8.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "17367f0cc86f2d25802b2c26ee58a7b23faeccf78a396094c13dced0d0182526"dependencies = [ "phf_shared 0.8.0", "rand 0.7.3",]
[[package]]name = "phf_generator"version = "0.10.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "5d5285893bb5eb82e6aaf5d59ee909a06a16737a8970984dd7746ba9283498d6"dependencies = [ "phf_shared 0.10.0", "rand 0.8.7",]
[[package]]name = "phf_generator"version = "0.11.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "3c80231409c20246a13fddb31776fb942c38553c51e871f8cbd687a4cfb5843d"dependencies = [ "phf_shared 0.11.3", "rand 0.8.7",]
[[package]]name = "phf_macros"version = "0.8.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "7f6fde18ff429ffc8fe78e2bf7f8b7a5a5a6e2a8b58bc5a9ac69198bbda9189c"dependencies = [ "phf_generator 0.8.0", "phf_shared 0.8.0", "proc-macro-hack", "proc-macro2", "quote", "syn 1.0.109",]
[[package]]name = "phf_shared"version = "0.8.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c00cf8b9eafe68dde5e9eaa2cef8ee84a9336a47d566ec55ca16589633b65af7"dependencies = [ "siphasher 0.3.11",]
[[package]]name = "phf_shared"version = "0.10.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b6796ad771acdc0123d2a88dc428b5e38ef24456743ddb1744ed628f9815c096"dependencies = [ "siphasher 0.3.11",]
[[package]]name = "phf_shared"version = "0.11.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "67eabc2ef2a60eb7faa00097bd1ffdb5bd28e62bf39990626a582201b7a754e5"dependencies = [ "siphasher 1.0.3",]
[[package]]name = "pin-project-lite"version = "0.2.17"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "a89322df9ebe1c1578d689c92318e070967d1042b512afbe49518723f4e6d5cd"
[[package]]name = "pin-utils"version = "0.1.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8b870d8c151b6f2fb93e84a13146138f05d02ed11c7e7c54f8826aaaf7c9f184"
[[package]]name = "pkg-config"version = "0.3.33"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "19f132c84eca552bf34cab8ec81f1c1dcc229b811638f9d283dceabe58c5569e"
[[package]]name = "portable-atomic"version = "1.14.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "3d20d5497ef88037a52ff98267d066e7f11fcc5e99bbfbd58a42336193aacec3"
[[package]]name = "potential_utf"version = "0.1.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "0103b1cef7ec0cf76490e969665504990193874ea05c85ff9bab8b911d0a0564"dependencies = [ "zerovec",]
[[package]]name = "powerfmt"version = "0.2.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "439ee305def115ba05938db6eb1644ff94165c5ab5e9420d1c1bcedbba909391"
[[package]]name = "ppmd-rust"version = "1.4.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "efca4c95a19a79d1c98f791f10aebd5c1363b473244630bb7dbde1dc98455a24"
[[package]]name = "ppv-lite86"version = "0.2.21"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "85eae3c4ed2f50dcfe72643da4befc30deadb458a9b590d720cde2f2b1e97da9"dependencies = [ "zerocopy",]
[[package]]name = "precomputed-hash"version = "0.1.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "925383efa346730478fb4838dbe9137d2a47675ad789c546d150a6e1dd4ab31c"
[[package]]name = "pretty_assertions"version = "1.4.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "3ae130e2f271fbc2ac3a40fb1d07180839cdbbe443c7a27e1e3c13c5cac0116d"dependencies = [ "diff", "yansi",]
[[package]]name = "proc-macro-error"version = "1.0.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "da25490ff9892aab3fcf7c36f08cfb902dd3e71ca0f9f9517bea02a73a5ce38c"dependencies = [ "proc-macro-error-attr", "proc-macro2", "quote", "syn 1.0.109", "version_check",]
[[package]]name = "proc-macro-error-attr"version = "1.0.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "a1be40180e52ecc98ad80b184934baf3d0d29f979574e439af5a55274b35f869"dependencies = [ "proc-macro2", "quote", "version_check",]
[[package]]name = "proc-macro-error-attr2"version = "2.0.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "96de42df36bb9bba5542fe9f1a054b8cc87e172759a1868aa05c1f3acc89dfc5"dependencies = [ "proc-macro2", "quote",]
[[package]]name = "proc-macro-error2"version = "2.0.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "11ec05c52be0a07b08061f7dd003e7d7092e0472bc731b4af7bb1ef876109802"dependencies = [ "proc-macro-error-attr2", "proc-macro2", "quote", "syn 2.0.119",]
[[package]]name = "proc-macro-hack"version = "0.5.20+deprecated"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "dc375e1527247fe1a97d8b7156678dfe7c1af2fc075c9a4db3690ecd2a148068"
[[package]]name = "proc-macro2"version = "1.0.107"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "985e7ec9bb745e6ce6535b544d84d6cd6f7ad8bd711c398938ae983b91a766d9"dependencies = [ "unicode-ident",]
[[package]]name = "quote"version = "1.0.47"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "1fbf4db142a473a8d80c26bbf18454ed458bf8d26c8219c331daecfdbd079001"dependencies = [ "proc-macro2",]
[[package]]name = "r-efi"version = "6.0.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf"
[[package]]name = "rand"version = "0.7.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "6a6b1679d49b24bbfe0c803429aa1874472f50d9b363131f0e89fc356b544d03"dependencies = [ "getrandom 0.1.16", "libc", "rand_chacha 0.2.2", "rand_core 0.5.1", "rand_hc", "rand_pcg",]
[[package]]name = "rand"version = "0.8.7"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "22f6172bdec972074665ed81ed53b71da00bfc44b65a753cfde883ec4c702a1a"dependencies = [ "libc", "rand_chacha 0.3.1", "rand_core 0.6.4",]
[[package]]name = "rand"version = "0.10.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c7f5fa3a058cd35567ef9bfa5e75732bee0f9e4c55fa90477bef2dfcdbc4be80"dependencies = [ "chacha20", "getrandom 0.4.3", "rand_core 0.10.1",]
[[package]]name = "rand_chacha"version = "0.2.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f4c8ed856279c9737206bf725bf36935d8666ead7aa69b52be55af369d193402"dependencies = [ "ppv-lite86", "rand_core 0.5.1",]
[[package]]name = "rand_chacha"version = "0.3.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "e6c10a63a0fa32252be49d21e7709d4d4baf8d231c2dbce1eaa8141b9b127d88"dependencies = [ "ppv-lite86", "rand_core 0.6.4",]
[[package]]name = "rand_core"version = "0.5.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "90bde5296fc891b0cef12a6d03ddccc162ce7b2aff54160af9338f8d40df6d19"dependencies = [ "getrandom 0.1.16",]
[[package]]name = "rand_core"version = "0.6.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c"dependencies = [ "getrandom 0.2.17",]
[[package]]name = "rand_core"version = "0.10.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "63b8176103e19a2643978565ca18b50549f6101881c443590420e4dc998a3c69"
[[package]]name = "rand_hc"version = "0.2.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ca3129af7b92a17112d59ad498c6f81eaf463253766b90396d39ea7a39d6613c"dependencies = [ "rand_core 0.5.1",]
[[package]]name = "rand_pcg"version = "0.2.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "16abd0c1b639e9eb4d7c50c0b8100b0d0f849be2349829c740fe8e6eb4816429"dependencies = [ "rand_core 0.5.1",]
[[package]]name = "rand_xoshiro"version = "0.6.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "6f97cdb2a36ed4183de61b2f824cc45c9f1037f28afe0a322e9fff4c108b5aaa"dependencies = [ "rand_core 0.6.4",]
[[package]]name = "rapidhash"version = "4.5.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "5da7e78a036ce858e8d55b7e7dc8ba3a88b78350fd2155d3591bbd966b58589e"dependencies = [ "rustversion",]
[[package]]name = "redox_syscall"version = "0.2.16"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "fb5a58c1855b4b6819d59012155603f0b22ad30cad752600aadfcb695265519a"dependencies = [ "bitflags 1.3.2",]
[[package]]name = "redox_syscall"version = "0.5.18"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ed2bf2547551a7053d6fdfafda3f938979645c44812fbfcda098faae3f1a362d"dependencies = [ "bitflags 2.13.1",]
[[package]]name = "regex"version = "1.13.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f020237b6c8eed93db2e2cb53c00c60a8e1bc73da7d073199a1180401450218d"dependencies = [ "aho-corasick", "memchr", "regex-automata", "regex-syntax",]
[[package]]name = "regex-automata"version = "0.4.16"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8fcfdb36bda0c880c5931cdc7a2bcdc8ba4556847b9d912bca70bc94708711ad"dependencies = [ "aho-corasick", "memchr", "regex-syntax",]
[[package]]name = "regex-syntax"version = "0.8.11"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d6f6ff9a378485b298a5286656da665ba74413d36db0979633275d2e708145d4"
[[package]]name = "reqwest"version = "0.12.28"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "eddd3ca559203180a307f12d114c268abf583f59b03cb906fd0b3ff8646c1147"dependencies = [ "base64", "bytes", "futures-channel", "futures-core", "futures-util", "http", "http-body", "http-body-util", "hyper", "hyper-tls", "hyper-util", "js-sys", "log", "native-tls", "percent-encoding", "pin-project-lite", "rustls-pki-types", "serde", "serde_json", "serde_urlencoded", "sync_wrapper", "tokio", "tokio-native-tls", "tower", "tower-http", "tower-service", "url", "wasm-bindgen", "wasm-bindgen-futures", "web-sys",]
[[package]]name = "rust_verify"version = "0.1.0"dependencies = [ "air", "bincode-next", "cargo-verus-toolchains", "console", "getopts", "hex", "indexmap 2.14.0", "indicatif", "internals_interface", "num-bigint 0.5.1", "num-format", "regex", "rust_verify_test_macros", "rustc_hir_analysis", "rustc_mir_build", "serde", "serde_json", "sha2", "sise", "vir", "win32job",]
[[package]]name = "rust_verify_test"version = "0.1.0"dependencies = [ "air", "regex", "rust_verify_test_macros", "serde", "serde_json", "tempfile", "toml", "vir", "yansi",]
[[package]]name = "rust_verify_test_macros"version = "0.1.0"dependencies = [ "proc-macro2", "quote", "syn 2.0.119",]
[[package]]name = "rustc_hir_analysis"version = "0.0.0"dependencies = [ "itertools", "tracing",]
[[package]]name = "rustc_mir_build"version = "0.0.0"dependencies = [ "itertools", "tracing",]
[[package]]name = "rustc_tools_util"version = "0.4.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "a3b75158011a63889ba12084cf1224baad7bcad50f6ee7c842f772b74aa148ed"
[[package]]name = "rustc_version"version = "0.4.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "cfcb3a22ef46e85b45de6ee7e79d063319ebb6594faafcf1c225ea92ab6e9b92"dependencies = [ "semver",]
[[package]]name = "rustix"version = "1.1.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b6fe4565b9518b83ef4f91bb47ce29620ca828bd32cb7e408f0062e9930ba190"dependencies = [ "bitflags 2.13.1", "errno", "libc", "linux-raw-sys", "windows-sys",]
[[package]]name = "rustls-pki-types"version = "1.15.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "2f4925028c7eb5d1fcdaf196971378ed9d2c1c4efc7dc5d011256f76c99c0a96"dependencies = [ "zeroize",]
[[package]]name = "rustversion"version = "1.0.23"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "cf54715a573b99ac80df0bc206da022bcd442c974952c7b9720069370852e21f"
[[package]]name = "ryu"version = "1.0.23"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "9774ba4a74de5f7b1c1451ed6cd5285a32eddb5cccb8cc655a4e50009e06477f"
[[package]]name = "same-file"version = "1.0.6"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "93fc1dc3aaa9bfed95e02e6eadabb4baf7e3078b0bd1b4d7b6b0b68378900502"dependencies = [ "winapi-util",]
[[package]]name = "schannel"version = "0.1.29"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "91c1b7e4904c873ef0710c1f407dde2e6287de2bebc1bbbf7d430bb7cbffd939"dependencies = [ "windows-sys",]
[[package]]name = "scopeguard"version = "1.2.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
[[package]]name = "security-framework"version = "3.7.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b7f4bc775c73d9a02cde8bf7b2ec4c9d12743edf609006c7facc23998404cd1d"dependencies = [ "bitflags 2.13.1", "core-foundation", "core-foundation-sys", "libc", "security-framework-sys",]
[[package]]name = "security-framework-sys"version = "2.17.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "6ce2691df843ecc5d231c0b14ece2acc3efb62c0a398c7e1d875f3983ce020e3"dependencies = [ "core-foundation-sys", "libc",]
[[package]]name = "selectors"version = "0.22.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "df320f1889ac4ba6bc0cdc9c9af7af4bd64bb927bccdf32d81140dc1f9be12fe"dependencies = [ "bitflags 1.3.2", "cssparser", "derive_more", "fxhash", "log", "matches", "phf 0.8.0", "phf_codegen 0.8.0", "precomputed-hash", "servo_arc", "smallvec", "thin-slice",]
[[package]]name = "semver"version = "1.0.28"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8a7852d02fc848982e0c167ef163aaff9cd91dc640ba85e263cb1ce46fae51cd"dependencies = [ "serde", "serde_core",]
[[package]]name = "serde"version = "1.0.229"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "4148590afebada386688f18773da617792bf2ef03ffc1e4cbd2b1d45b023e0ba"dependencies = [ "serde_core", "serde_derive",]
[[package]]name = "serde_core"version = "1.0.229"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "67dca2c9c51e58a4791a4b1ed58308b39c64224d349a935ab5039aa360942a48"dependencies = [ "serde_derive",]
[[package]]name = "serde_derive"version = "1.0.229"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "e7a5d71263a5a7d47b41f6b3f06ba276f10cc18b0931f1799f710578e2309348"dependencies = [ "proc-macro2", "quote", "syn 3.0.3",]
[[package]]name = "serde_json"version = "1.0.151"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c841b55ecdae098c80dcae9cf767f6f8a0c2cdb3416bbef72181df4d0fe73f14"dependencies = [ "indexmap 2.14.0", "itoa 1.0.18", "memchr", "serde", "serde_core", "zmij",]
[[package]]name = "serde_path_to_error"version = "0.1.20"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "10a9ff822e371bb5403e391ecd83e182e0e77ba7f6fe0160b795797109d1b457"dependencies = [ "itoa 1.0.18", "serde", "serde_core",]
[[package]]name = "serde_spanned"version = "1.1.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "6662b5879511e06e8999a8a235d848113e942c9124f211511b16466ee2995f26"dependencies = [ "serde_core",]
[[package]]name = "serde_urlencoded"version = "0.7.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d3491c14715ca2294c4d6a88f15e84739788c1d030eed8c110436aafdaa2f3fd"dependencies = [ "form_urlencoded", "itoa 1.0.18", "ryu", "serde",]
[[package]]name = "servo_arc"version = "0.1.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d98238b800e0d1576d8b6e3de32827c2d74bee68bb97748dcf5071fb53965432"dependencies = [ "nodrop", "stable_deref_trait",]
[[package]]name = "sha1"version = "0.11.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "aacc4cc499359472b4abe1bf11d0b12e688af9a805fa5e3016f9a386dc2d0214"dependencies = [ "cfg-if", "cpufeatures", "digest",]
[[package]]name = "sha2"version = "0.11.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "446ba717509524cb3f22f17ecc096f10f4822d76ab5c0b9822c5f9c284e825f4"dependencies = [ "cfg-if", "cpufeatures", "digest",]
[[package]]name = "shlex"version = "2.0.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f8fadd59c855ef2080decdef8ff161eb6661b86933c9d82e5ba29dc602a55aba"
[[package]]name = "simd-adler32"version = "0.3.10"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "3a219298ac11a56ea9a6d2120044824d6f01aeb034955e7af7bc16858527deea"
[[package]]name = "similar"version = "2.7.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "bbbb5d9659141646ae647b42fe094daf6c6192d1620870b449d9557f748b2daa"
[[package]]name = "siphasher"version = "0.3.11"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "38b58827f4464d87d377d175e90bf58eb00fd8716ff0a62f80356b5e61555d0d"
[[package]]name = "siphasher"version = "1.0.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8ee5873ec9cce0195efcb7a4e9507a04cd49aec9c83d0389df45b1ef7ba2e649"
[[package]]name = "sise"version = "0.8.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b6be41bcb1c843a15a45bdb3b40532d873436ce5d826d4907053fa152eac0d9c"
[[package]]name = "sized-chunks"version = "0.6.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "16d69225bde7a69b235da73377861095455d298f2b970996eec25ddbb42b3d1e"dependencies = [ "bitmaps", "typenum",]
[[package]]name = "slab"version = "0.4.12"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "0c790de23124f9ab44544d7ac05d60440adc586479ce501c1d6d7da3cd8c9cf5"
[[package]]name = "smallvec"version = "1.15.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8ed6a63f02c8539c91a8685a86f4099661ba3da017932f6ebbea6de3f0fa7c90"
[[package]]name = "smt-scope"version = "0.1.7"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "e2c8d483de29dd414b85ff6ddb2165240211ba5a30f1c47e1368d1c261f21d1a"dependencies = [ "bitmask-enum", "clap", "duplicate", "either", "futures", "fxhash", "lasso", "nonmax", "num", "petgraph 0.6.5", "regex", "semver", "serde", "serde_json", "strum", "tempfile", "typed-index-collections", "wasm-timer",]
[[package]]name = "socket2"version = "0.6.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c3d1e2c7f27f8d4cb10542a02c49005dbd6e93095799d6f3be745fae9f8fedd4"dependencies = [ "libc", "windows-sys",]
[[package]]name = "stable_deref_trait"version = "1.2.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "6ce2be8dc25455e1f91df71bfa12ad37d7af1092ae736f3a6cd0e37bc7810596"
[[package]]name = "string_cache"version = "0.8.9"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "bf776ba3fa74f83bf4b63c3dcbbf82173db2632ed8452cb2d891d33f459de70f"dependencies = [ "new_debug_unreachable", "parking_lot 0.12.5", "phf_shared 0.11.3", "precomputed-hash", "serde",]
[[package]]name = "string_cache_codegen"version = "0.5.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c711928715f1fe0fe509c53b43e993a9a557babc2d0a3567d0a3006f1ac931a0"dependencies = [ "phf_generator 0.11.3", "phf_shared 0.11.3", "proc-macro2", "quote",]
[[package]]name = "strsim"version = "0.11.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "7da8b5736845d9f2fcb837ea5d9e2628564b3b043a70948a3f0b778838c5fb4f"
[[package]]name = "strum"version = "0.26.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8fec0f0aef304996cf250b31b5a10dee7980c85da9d759361292b8bca5a18f06"dependencies = [ "strum_macros",]
[[package]]name = "strum_macros"version = "0.26.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "4c6bee85a5a24955dc440386795aa378cd9cf82acd5f764469152d2270e581be"dependencies = [ "heck 0.5.0", "proc-macro2", "quote", "rustversion", "syn 2.0.119",]
[[package]]name = "syn"version = "1.0.109"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "72b64191b275b66ffe2469e8af2c1cfe3bafa67b529ead792a6d0160888b4237"dependencies = [ "proc-macro2", "quote", "unicode-ident",]
[[package]]name = "syn"version = "2.0.119"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "872831b642d1a07999a962a351ed35b955ea2cfc8f3862091e2a240a84f17297"dependencies = [ "proc-macro2", "quote", "unicode-ident",]
[[package]]name = "syn"version = "3.0.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "53e9bae58849f64dfa4f5d5ae372c8341f7305f82a3868709269343628b659a3"dependencies = [ "proc-macro2", "quote", "unicode-ident",]
[[package]]name = "sync_wrapper"version = "1.0.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "0bf256ce5efdfa370213c1dabab5935a12e49f2c58d15e9eac2870d3b4f27263"dependencies = [ "futures-core",]
[[package]]name = "synstructure"version = "0.13.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "728a70f3dbaf5bab7f0c4b1ac8d7ae5ea60a4b5549c8a5914361c99147a709d2"dependencies = [ "proc-macro2", "quote", "syn 2.0.119",]
[[package]]name = "tabled"version = "0.21.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b5dc662e6da844ad6e428ad16b57967c9d33c82e16bb1c258326c0c078605dff"dependencies = [ "papergrid", "tabled_derive", "testing_table",]
[[package]]name = "tabled_derive"version = "0.11.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "0ea5d1b13ca6cff1f9231ffd62f15eefd72543dab5e468735f1a456728a02846"dependencies = [ "heck 0.5.0", "proc-macro-error2", "proc-macro2", "quote", "syn 2.0.119",]
[[package]]name = "tempfile"version = "3.27.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "32497e9a4c7b38532efcdebeef879707aa9f794296a4f0244f6f69e9bc8574bd"dependencies = [ "fastrand", "getrandom 0.4.3", "once_cell", "rustix", "windows-sys",]
[[package]]name = "tendril"version = "0.4.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "d24a120c5fc464a3458240ee02c299ebcb9d67b5249c8848b09d639dca8d7bb0"dependencies = [ "futf", "mac", "utf-8",]
[[package]]name = "testing_table"version = "0.3.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "0f8daae29995a24f65619e19d8d31dea5b389f3d853d8bf297bbf607cd0014cc"dependencies = [ "unicode-width 0.2.2",]
[[package]]name = "thin-slice"version = "0.1.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8eaa81235c7058867fa8c0e7314f33dcce9c215f535d1913822a2b3f5e289f3c"
[[package]]name = "thiserror"version = "1.0.69"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b6aaf5339b578ea85b50e080feb250a3e8ae8cfcdff9a461c9ec2904bc923f52"dependencies = [ "thiserror-impl 1.0.69",]
[[package]]name = "thiserror"version = "2.0.19"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "09a43598840e33d5b0331f38c5e30d13bb11c11210a4b58f0d9b18a5a5eefcd9"dependencies = [ "thiserror-impl 2.0.19",]
[[package]]name = "thiserror-impl"version = "1.0.69"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "4fee6c4efc90059e10f81e6d42c60a18f76588c3d74cb83a0b242a2b6c7504c1"dependencies = [ "proc-macro2", "quote", "syn 2.0.119",]
[[package]]name = "thiserror-impl"version = "2.0.19"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "43cbfe0cf76104d42a574802844187e84a305e531ed54455f11fbde0f10541cd"dependencies = [ "proc-macro2", "quote", "syn 3.0.3",]
[[package]]name = "time"version = "0.3.54"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "3e1d5e639ff6bab73cb6885cc7e7b1de96c3f32c68ec55f3952614bec1092244"dependencies = [ "deranged", "js-sys", "num-conv", "powerfmt", "serde_core", "time-core",]
[[package]]name = "time-core"version = "0.1.9"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "9e1c906769ad99c88eaa54e728060edef082f8e358ff32030cb7c7d315e81109"
[[package]]name = "tinystr"version = "0.8.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c8323304221c2a851516f22236c5722a72eaa19749016521d6dff0824447d96d"dependencies = [ "displaydoc", "zerovec",]
[[package]]name = "tokio"version = "1.53.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "202caea871b69668250d242070849eb495be178ed697a3e98aebce5bc81a0bed"dependencies = [ "bytes", "libc", "mio", "pin-project-lite", "socket2", "windows-sys",]
[[package]]name = "tokio-native-tls"version = "0.3.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "bbae76ab933c85776efabc971569dd6119c580d8f5d448769dec1764bf796ef2"dependencies = [ "native-tls", "tokio",]
[[package]]name = "toml"version = "1.1.4+spec-1.1.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "3aace63f4bbcdfc2c965b059de67119c89c4017a70d633be6c104910f67056f5"dependencies = [ "indexmap 2.14.0", "serde_core", "serde_spanned", "toml_datetime 1.1.1+spec-1.1.0", "toml_parser", "toml_writer", "winnow 1.0.4",]
[[package]]name = "toml_datetime"version = "0.7.5+spec-1.1.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "92e1cfed4a3038bc5a127e35a2d360f145e1f4b971b551a2ba5fd7aedf7e1347"dependencies = [ "serde_core",]
[[package]]name = "toml_datetime"version = "1.1.1+spec-1.1.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "3165f65f62e28e0115a00b2ebdd37eb6f3b641855f9d636d3cd4103767159ad7"dependencies = [ "serde_core",]
[[package]]name = "toml_edit"version = "0.23.10+spec-1.0.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "84c8b9f757e028cee9fa244aea147aab2a9ec09d5325a9b01e0a49730c2b5269"dependencies = [ "indexmap 2.14.0", "serde_core", "serde_spanned", "toml_datetime 0.7.5+spec-1.1.0", "toml_parser", "toml_writer", "winnow 0.7.15",]
[[package]]name = "toml_parser"version = "1.1.3+spec-1.1.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "1d38ac1cf9b95face32296c0a3ede1fdc270627c9d9c02a7274dd6d960dc4d56"dependencies = [ "winnow 1.0.4",]
[[package]]name = "toml_writer"version = "1.1.2+spec-1.1.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "7d56353a2a665ad0f41a421187180aab746c8c325620617ad883a99a1cbe66d2"
[[package]]name = "tower"version = "0.5.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ebe5ef63511595f1344e2d5cfa636d973292adc0eec1f0ad45fae9f0851ab1d4"dependencies = [ "futures-core", "futures-util", "pin-project-lite", "sync_wrapper", "tokio", "tower-layer", "tower-service",]
[[package]]name = "tower-http"version = "0.6.11"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "4cfcf7e2740e6fc6d4d688b4ef00650406bb94adf4731e43c096c3a19fe40840"dependencies = [ "bitflags 2.13.1", "bytes", "futures-util", "http", "http-body", "pin-project-lite", "tower", "tower-layer", "tower-service", "url",]
[[package]]name = "tower-layer"version = "0.3.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "121c2a6cda46980bb0fcd1647ffaf6cd3fc79a013de288782836f6df9c48780e"
[[package]]name = "tower-service"version = "0.3.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8df9b6e13f2d32c91b9bd719c00d1958837bc7dec474d94952798cc8e69eeec3"
[[package]]name = "tracing"version = "0.1.44"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "63e71662fa4b2a2c3a26f570f037eb95bb1f85397f3cd8076caed2f026a6d100"dependencies = [ "pin-project-lite", "tracing-attributes", "tracing-core",]
[[package]]name = "tracing-attributes"version = "0.1.31"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "7490cfa5ec963746568740651ac6781f701c9c5ea257c58e057f3ba8cf69e8da"dependencies = [ "proc-macro2", "quote", "syn 2.0.119",]
[[package]]name = "tracing-core"version = "0.1.36"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "db97caf9d906fbde555dd62fa95ddba9eecfd14cb388e4f491a66d74cd5fb79a"dependencies = [ "once_cell",]
[[package]]name = "try-lock"version = "0.2.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "e421abadd41a4225275504ea4d6566923418b7f05506fbc9c0fe86ba7396114b"
[[package]]name = "typed-index-collections"version = "3.5.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "898160f1dfd383b4e92e17f0512a7d62f3c51c44937b23b6ffc3a1614a8eaccd"dependencies = [ "bincode", "serde",]
[[package]]name = "typed-path"version = "0.12.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8e28f89b80c87b8fb0cf04ab448d5dd0dd0ade2f8891bae878de66a75a28600e"
[[package]]name = "typenum"version = "1.20.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b6f5e870be6c3b371b77fe0ee0bafb859fa4964b4404c27de1d380043c4dda20"
[[package]]name = "unicode-ident"version = "1.0.24"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"
[[package]]name = "unicode-width"version = "0.1.14"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "7dd6e30e90baa6f72411720665d41d89b9a3d039dc45b8faea1ddd07f617f6af"
[[package]]name = "unicode-width"version = "0.2.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b4ac048d71ede7ee76d585517add45da530660ef4390e49b098733c6e897f254"
[[package]]name = "unit-prefix"version = "0.5.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "81e544489bf3d8ef66c953931f56617f423cd4b5494be343d9b9d3dda037b9a3"
[[package]]name = "unty"version = "0.0.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "6d49784317cd0d1ee7ec5c716dd598ec5b4483ea832a2dced265471cc0f690ae"
[[package]]name = "unty-next"version = "0.1.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "16062d030850f35054e37746427b9febb74a2f24c9c6dd6fa2d0c13c5f53221e"
[[package]]name = "url"version = "2.5.8"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ff67a8a4397373c3ef660812acab3268222035010ab8680ec4215f38ba3d0eed"dependencies = [ "form_urlencoded", "idna", "percent-encoding", "serde",]
[[package]]name = "utf-8"version = "0.7.6"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "09cc8ee72d2a9becf2f2febe0205bbed8fc6615b7cb429ad062dc7b7ddd036a9"
[[package]]name = "utf8_iter"version = "1.0.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b6c140620e7ffbb22c2dee59cafe6084a59b5ffc27a8859a5f0d494b5d52b6be"
[[package]]name = "utf8parse"version = "0.2.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "06abde3611657adf66d383f00b093d7faecc7fa57071cce2578660c9f1010821"
[[package]]name = "vcpkg"version = "0.2.15"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "accd4ea62f7bb7a82fe23066fb0957d48ef677f6eeb8215f372f52e48bb32426"
[[package]]name = "version_check"version = "0.9.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a"
[[package]]name = "verus"version = "0.1.0"dependencies = [ "cargo-verus-toolchains", "chrono", "git2", "is-terminal", "rand 0.10.2", "regex", "serde_json", "toml", "win32job", "yansi", "zip",]
[[package]]name = "verus_builtin"version = "0.0.0-2026-10-11-0230"
[[package]]name = "verus_builtin_macros"version = "0.0.0-2026-10-25-0158"dependencies = [ "convert_case", "proc-macro2", "quote", "syn 2.0.119", "synstructure", "verus_prettyplease", "verus_syn",]
[[package]]name = "verus_prettyplease"version = "0.0.0-2026-09-06-0133"dependencies = [ "proc-macro2", "verus_syn",]
[[package]]name = "verus_state_machines_macros"version = "0.0.0-2026-10-25-0158"dependencies = [ "indexmap 2.14.0", "proc-macro2", "quote", "verus_syn",]
[[package]]name = "verus_syn"version = "0.0.0-2026-09-06-0133"dependencies = [ "proc-macro2", "quote", "unicode-ident",]
[[package]]name = "verusdoc"version = "0.1.0"dependencies = [ "html5ever", "kuchikiki", "serde", "serde_json", "walkdir",]
[[package]]name = "vir"version = "0.1.0"dependencies = [ "air", "im", "indexmap 2.14.0", "num-bigint 0.5.1", "num-traits", "serde", "sha2", "sise", "vir-macros",]
[[package]]name = "vir-macros"version = "0.1.0"dependencies = [ "proc-macro2", "syn 2.0.119", "synstructure",]
[[package]]name = "virtue-next"version = "0.1.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8d5208a9710a6ca1c2da0d64289a5dcca13deb05afdedf651f4e11bcd9fc53eb"
[[package]]name = "vstd_build"version = "0.1.0"dependencies = [ "yansi",]
[[package]]name = "walkdir"version = "2.5.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "29790946404f91d9c5d06f9874efddea1dc06c5efe94541a7d6863108e3a5e4b"dependencies = [ "same-file", "winapi-util",]
[[package]]name = "want"version = "0.3.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "bfa7760aed19e106de2c7c0b581b509f2f25d3dacaf737cb82ac61bc6d760b0e"dependencies = [ "try-lock",]
[[package]]name = "wasi"version = "0.9.0+wasi-snapshot-preview1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "cccddf32554fecc6acb585f82a32a72e28b48f8c4c1883ddfeeeaa96f7d8e519"
[[package]]name = "wasi"version = "0.11.1+wasi-snapshot-preview1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ccf3ec651a847eb01de73ccad15eb7d99f80485de043efb2f370cd654f4ea44b"
[[package]]name = "wasm-bindgen"version = "0.2.126"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "4b067c0c11094aef6b7a801c1e34a26affafdf3d051dba08456b868789aaf9a4"dependencies = [ "cfg-if", "once_cell", "rustversion", "wasm-bindgen-macro", "wasm-bindgen-shared",]
[[package]]name = "wasm-bindgen-futures"version = "0.4.76"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c62df1340f32221cb9c54d6a27b030e3dba64361d4a95bed55f9aacb44da291d"dependencies = [ "js-sys", "wasm-bindgen",]
[[package]]name = "wasm-bindgen-macro"version = "0.2.126"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "167ce5e579f6bcf889c4f7175a8a5a585de84e8ff93976ce393efa5f2837aab1"dependencies = [ "quote", "wasm-bindgen-macro-support",]
[[package]]name = "wasm-bindgen-macro-support"version = "0.2.126"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f3997c7839262f4ef12cf90b818d6340c18e80f263f1a94bf157d0ec4420380e"dependencies = [ "bumpalo", "proc-macro2", "quote", "syn 2.0.119", "wasm-bindgen-shared",]
[[package]]name = "wasm-bindgen-shared"version = "0.2.126"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "dc1b4cb0cc549fcf58d7dfc081778139b3d283a081644e833e84682ad71cea24"dependencies = [ "unicode-ident",]
[[package]]name = "wasm-timer"version = "0.2.5"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "be0ecb0db480561e9a7642b5d3e4187c128914e58aa84330b9493e3eb68c5e7f"dependencies = [ "futures", "js-sys", "parking_lot 0.11.2", "pin-utils", "wasm-bindgen", "wasm-bindgen-futures", "web-sys",]
[[package]]name = "web-sys"version = "0.3.103"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8622dcb61c0bcc9fffa6938bed81210af2da9a7e4a1a834b2e37a59b6dfb6141"dependencies = [ "js-sys", "wasm-bindgen",]
[[package]]name = "web-time"version = "1.1.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "5a6580f308b1fad9207618087a65c04e7a10bc77e02c8e84e9b00dd4b12fa0bb"dependencies = [ "js-sys", "wasm-bindgen",]
[[package]]name = "win32job"version = "1.0.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b1e915da468fb933fad27a318d59e163b1c8ae079be5efc080ff75990d1555dd"dependencies = [ "thiserror 1.0.69", "winapi",]
[[package]]name = "winapi"version = "0.3.9"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "5c839a674fcd7a98952e593242ea400abe93992746761e38641405d28b00f419"dependencies = [ "winapi-i686-pc-windows-gnu", "winapi-x86_64-pc-windows-gnu",]
[[package]]name = "winapi-i686-pc-windows-gnu"version = "0.4.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ac3b87c63620426dd9b991e5ce0329eff545bccbbb34f3be09ff6fb6ab51b7b6"
[[package]]name = "winapi-util"version = "0.1.11"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "c2a7b1c03c876122aa43f3020e6c3c3ee5c05081c9a00739faf7503aeba10d22"dependencies = [ "windows-sys",]
[[package]]name = "winapi-x86_64-pc-windows-gnu"version = "0.4.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "712e227841d057c1ee1cd2fb22fa7e5a5461ae8e48fa2ca79ec42cfc1931183f"
[[package]]name = "windows-core"version = "0.62.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b8e83a14d34d0623b51dce9581199302a221863196a1dde71a7663a4c2be9deb"dependencies = [ "windows-implement", "windows-interface", "windows-link", "windows-result", "windows-strings",]
[[package]]name = "windows-implement"version = "0.60.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "053e2e040ab57b9dc951b72c264860db7eb3b0200ba345b4e4c3b14f67855ddf"dependencies = [ "proc-macro2", "quote", "syn 2.0.119",]
[[package]]name = "windows-interface"version = "0.59.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "3f316c4a2570ba26bbec722032c4099d8c8bc095efccdc15688708623367e358"dependencies = [ "proc-macro2", "quote", "syn 2.0.119",]
[[package]]name = "windows-link"version = "0.2.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f0805222e57f7521d6a62e36fa9163bc891acd422f971defe97d64e70d0a4fe5"
[[package]]name = "windows-result"version = "0.4.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "7781fa89eaf60850ac3d2da7af8e5242a5ea78d1a11c49bf2910bb5a73853eb5"dependencies = [ "windows-link",]
[[package]]name = "windows-strings"version = "0.5.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "7837d08f69c77cf6b07689544538e017c1bfcf57e34b4c0ff58e6c2cd3b37091"dependencies = [ "windows-link",]
[[package]]name = "windows-sys"version = "0.61.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "ae137229bcbd6cdf0f7b80a31df61766145077ddf49416a728b02cb3921ff3fc"dependencies = [ "windows-link",]
[[package]]name = "winnow"version = "0.7.15"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "df79d97927682d2fd8adb29682d1140b343be4ac0f08fd68b7765d9c059d3945"dependencies = [ "memchr",]
[[package]]name = "winnow"version = "1.0.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "23b97319f7b8343df12cc98938e5c3eb436064524c8d2b4e30a1d3a36eecdf81"
[[package]]name = "writeable"version = "0.6.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "1ffae5123b2d3fc086436f8834ae3ab053a283cfac8fe0a0b8eaae044768a4c4"
[[package]]name = "yansi"version = "1.0.1"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "cfe53a6657fd280eaa890a3bc59152892ffa3e30101319d168b781ed6529b049"
[[package]]name = "yoke"version = "0.8.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "709fe23a0424b6a435d82152b1bd3fdfb0833487d5fa90d05d42762a9891fef5"dependencies = [ "stable_deref_trait", "yoke-derive", "zerofrom",]
[[package]]name = "yoke-derive"version = "0.8.2"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "de844c262c8848816172cef550288e7dc6c7b7814b4ee56b3e1553f275f1858e"dependencies = [ "proc-macro2", "quote", "syn 2.0.119", "synstructure",]
[[package]]name = "zerocopy"version = "0.8.55"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b5a105cd7b140f6eeec8acff2ea38135d3cab283ada58540f629fe51e46696eb"dependencies = [ "zerocopy-derive",]
[[package]]name = "zerocopy-derive"version = "0.8.55"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "0fe976fb70c78cd64cccfe3a6fc142244e8a77b70959b30faf9d0ac37ee228eb"dependencies = [ "proc-macro2", "quote", "syn 2.0.119",]
[[package]]name = "zerofrom"version = "0.1.8"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "0ec05a11813ea801ff6d75110ad09cd0824ddba17dfe17128ea0d5f68e6c5272"dependencies = [ "zerofrom-derive",]
[[package]]name = "zerofrom-derive"version = "0.1.7"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "11532158c46691caf0f2593ea8358fed6bbf68a0315e80aae9bd41fbade684a1"dependencies = [ "proc-macro2", "quote", "syn 2.0.119", "synstructure",]
[[package]]name = "zeroize"version = "1.9.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "e13c156562582aa81c60cb29407084cdb54c4164760106ab78e6c5b0858cf64e"
[[package]]name = "zerotrie"version = "0.2.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "0f9152d31db0792fa83f70fb2f83148effb5c1f5b8c7686c3459e361d9bc20bf"dependencies = [ "displaydoc", "yoke", "zerofrom",]
[[package]]name = "zerovec"version = "0.11.6"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "90f911cbc359ab6af17377d242225f4d75119aec87ea711a880987b18cd7b239"dependencies = [ "yoke", "zerofrom", "zerovec-derive",]
[[package]]name = "zerovec-derive"version = "0.11.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "625dc425cab0dca6dc3c3319506e6593dcb08a9f387ea3b284dbd52a92c40555"dependencies = [ "proc-macro2", "quote", "syn 2.0.119",]
[[package]]name = "zip"version = "8.6.0"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "2d04a6b5381502aa6087c94c669499eb1602eb9c5e8198e534de571f7154809b"dependencies = [ "aes", "bzip2", "constant_time_eq", "crc32fast", "deflate64", "flate2", "getrandom 0.4.3", "hmac", "indexmap 2.14.0", "lzma-rust2", "memchr", "pbkdf2", "ppmd-rust", "sha1", "time", "typed-path", "zeroize", "zopfli", "zstd",]
[[package]]name = "zlib-rs"version = "0.6.6"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "b142a20ec14a91d5bc708c1dc21b080c550113d8aa77afa29635673a65dd02c5"
[[package]]name = "zmij"version = "1.0.23"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "29666d0abbfad1e3dc4dcf6144730dd3a3ab225bbbdac83319345b1b44ccfc1b"
[[package]]name = "zopfli"version = "0.8.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "f05cd8797d63865425ff89b5c4a48804f35ba0ce8d125800027ad6017d2b5249"dependencies = [ "bumpalo", "crc32fast", "log", "simd-adler32",]
[[package]]name = "zstd"version = "0.13.3"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "e91ee311a569c327171651566e07972200e76fcfe2242a4fa446149a3881c08a"dependencies = [ "zstd-safe",]
[[package]]name = "zstd-safe"version = "7.2.4"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "8f49c4d5f0abb602a93fb8736af2a4f4dd9512e36f7f570d66e65ff867ed3b9d"dependencies = [ "zstd-sys",]
[[package]]name = "zstd-sys"version = "2.0.16+zstd.1.5.7"source = "registry+https://github.com/rust-lang/crates.io-index"checksum = "91e19ebc2adc8f83e43039e79776e3fda8ca919132d68a1fed6a5faca2683748"dependencies = [ "cc", "pkg-config",]